scientific article
From MaRDI portal
Publication:4010366
zbMath0746.68046MaRDI QIDQ4010366
Vladimir Yakhnis, Alexander Yakhnis
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) 2-person games (91A05) Applications of game theory (91A80)
Related Items (9)
McNaughton games and extracting strategies for concurrent programs ⋮ The variable hierarchy for the games \(\mu \)-calculus ⋮ Gurevich-Harrington's games defined by finite automata ⋮ Games with Unknown Past ⋮ Free \(\mu\)-lattices ⋮ Extracting Winning Strategies in Update Games ⋮ From Parity Games to Circular Proofs ⋮ Pushdown processes: Games and model-checking ⋮ Infinite games played on finite graphs
This page was built for publication:
