Tree Languages Defined in First-Order Logic with One Quantifier Alternation

DOI10.2168/LMCS-6(4:1)2010zbMath1202.03047arXiv1009.2854MaRDI QIDQ5894002

Mikołaj Bojańczyk, Luc Segoufin

Publication date: 20 December 2010

Published in: Logical Methods in Computer Science, Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.2854

zbMATH Keywords

forest algebra; first-order logic on trees

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

03B25: Decidability of theories and sets of sentences