Publication:4010366
From MaRDI portal
zbMath0746.68046MaRDI QIDQ4010366
Anil Nerode, Vladimir Yakhnis, Alexander Yakhnis
Publication date: 27 September 1992
68W30: Symbolic computation and algebraic computation
91A05: 2-person games
91A80: Applications of game theory
Related Items
Games with Unknown Past, Free \(\mu\)-lattices, The variable hierarchy for the games \(\mu \)-calculus, Gurevich-Harrington's games defined by finite automata, Infinite games played on finite graphs, Pushdown processes: Games and model-checking, McNaughton games and extracting strategies for concurrent programs, From Parity Games to Circular Proofs, Extracting Winning Strategies in Update Games