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