scientific article
From MaRDI portal
Publication:2754186
zbMath0973.03052MaRDI QIDQ2754186
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (4)
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\)
This page was built for publication:
