Computer Science Logic

DOI10.1007/11538363zbMath1136.03320OpenAlexW2479351976MaRDI QIDQ5394593

Filip Murlak

Publication date: 1 November 2006

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

Full work available at URL: https://doi.org/10.1007/11538363

zbMATH Keywords

Borel hierarchydeterministic tree automataindex hierarchy

Mathematics Subject Classification ID

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

Related Items (4)

Index Problems for Game Automata ⋮ On the Weak Index Problem for Game Automata ⋮ Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata ⋮ Wadge-Wagner hierarchies

This page was built for publication: Computer Science Logic