Skip to content

Where First-Order and Monadic Second-Order Logic Coincide.

Michael Elberfeld, Martin Grohe, Till Tantau

VenueA*LICS
Year2012
ProceedingsLICS

Browse the full LICS paper archive.