Skip to content

Lindstrom theorems for fragments of first-order logic.

Balder ten Cate, Johan van Benthem, Jouko A. Vnnen

VenueA*LICS
Year2007
ProceedingsLICS

Browse the full LICS paper archive.