Algebraic Characterization of the Alternation Hierarchy in FO^2[<] on Finite Words

DOI10.4230/LIPICS.CSL.2011.525zbMATH Open1247.03015OpenAlexW2241575141MaRDI QIDQ2915709

Howard Straubing

Publication date: 18 September 2012

Full work available at URL: https://dblp.uni-trier.de/db/conf/csl/csl2011.html#Straubing11

zbMATH Keywords

automatafinite model theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy

This page was built for publication: Algebraic Characterization of the Alternation Hierarchy in FO^2[<] on Finite Words