scientific article
From MaRDI portal
Publication:3748266
zbMath0608.03004MaRDI QIDQ3748266
David E. Muller, Paul E. Schupp
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
infinite gamesbinary treesmonadic theoryacceptancealternating automatauniformization theoremcomputation treenondeterministic automataautomata on infinite treesdual automaton
Games with infinitely many players (91A07) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Determinacy principles (03E60)
Related Items
Automata Theory and Model Checking ⋮ Graph Games and Reactive Synthesis ⋮ Alternating automata on infinite trees ⋮ Multi-Valued Reasoning about Reactive Systems ⋮ On alternating \(\omega\)-automata ⋮ Quantitative vs. weighted automata ⋮ Alternating automata with start formulas ⋮ Automata on infinite objects and their applications to logic and programming ⋮ Converting a Büchi alternating automaton to a usual nondeterministic one ⋮ An automata-theoretic approach to model-checking systems and specifications over infinite data domains