scientific article; zbMATH DE number 1136080
From MaRDI portal
Publication:4381391
zbMath0892.68067MaRDI QIDQ4381391
Igor Walukiewicz, Damian Niwinski
Publication date: 1 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Index Problems for Game Automata ⋮ Unnamed Item ⋮ On the Weak Index Problem for Game Automata ⋮ On the power of finite ambiguity in Büchi complementation ⋮ A gap property of deterministic tree languages. ⋮ Minimization of automata for liveness languages ⋮ Semantic flowers for good-for-games and deterministic automata ⋮ The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Multi-player games with LDL goals over finite traces ⋮ On Synthesis of Specifications with Arithmetic ⋮ \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ Sensing as a Complexity Measure ⋮ Unambiguous Büchi Is Weak ⋮ Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata ⋮ Automata on infinite trees ⋮ Relating word and tree automata ⋮ How Deterministic are Good-For-Games Automata?
This page was built for publication: