Skip to content

The Boundedness Problem for Monadic Universal First-Order Logic.

Martin Otto

VenueA*LICS
Year2006
ProceedingsLICS

Browse the full LICS paper archive.