The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite

Oliver Matz, Wolfgang Thomas. The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. In LICS. pages 236-244, 1997. [doi]

Abstract

Abstract is missing.