Skip to content

Fragments of Existential Second-Order Logic without 0-1 Laws.

Jean-Marie Le Bars

VenueA*LICS
Year1998
ProceedingsLICS

Browse the full LICS paper archive.