Skip to content

The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite.

Oliver Matz, Wolfgang Thomas

VenueA*LICS
Year1997
ProceedingsLICS

Browse the full LICS paper archive.