Going Higher in the First-Order Quantifier Alternation Hierarchy on Words.

Thomas Place, Marc Zeitoun

Browse the full ICALP paper archive.