Skip to content

0-1 Laws and Decision Problems for Fragments of Second-Order Logic

Phokion G. Kolaitis, Moshe Y. Vardi

VenueA*LICS
Year1988
ProceedingsLICS

Browse the full LICS paper archive.