Tree languages defined in first-order logic with one quantifier alternation

DOI10.1007/978-3-540-70583-3_20MaRDI QIDQ6829992zbMATH OpenFDO

Authors Mikołaj Bojańczyk, Luc Segoufin

Publication date 19 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70583-3_20

Mathematics Subject Classification ID

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

This page was built for publication: Tree languages defined in first-order logic with one quantifier alternation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829992)