scientific article
From MaRDI portal
Publication:4010366
zbMATH Open0746.68046MaRDI QIDQ4010366FDOQ4010366
Vladimir Yakhnis, Anil Nerode, Alexander Yakhnis
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Symbolic computation and algebraic computation (68W30) Applications of game theory (91A80) 2-person games (91A05)
Cited In (11)
- Effective strategies for enumeration games
- Asynchronous games. II: The true concurrency of innocence
- Extracting Winning Strategies in Update Games
- From parity games to circular proofs
- McNaughton games and extracting strategies for concurrent programs
- The variable hierarchy for the games \(\mu \)-calculus
- Free \(\mu\)-lattices
- Pushdown processes: Games and model-checking
- Infinite games played on finite graphs
- Games with Unknown Past
- Gurevich-Harrington's games defined by finite automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4010366)
