Publication:2754186
From MaRDI portal
zbMath0973.03052MaRDI QIDQ2754186
Publication date: 11 November 2001
68Q45: Formal languages and automata
03B70: Logic in computer science
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
Related Items
Index Problems for Game Automata, A gap property of deterministic tree languages., \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\), The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata