𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The determinacy of context-free games

✍ Scribed by Finkel, Olivier


Book ID
121837213
Publisher
Association for Symbolic Logic
Year
2013
Tongue
English
Weight
221 KB
Volume
78
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Active Context-Free Games
✍ Anca Muscholl; Thomas Schwentick; Luc Segoufin πŸ“‚ Article πŸ“… 2005 πŸ› Springer 🌐 English βš– 397 KB
Memoryless determinacy of parity and mea
✍ Henrik BjΓΆrklund; Sven Sandberg; Sergei Vorobyov πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 287 KB

We give a simple, direct, and constructive proof of memoryless determinacy for parity and mean payo games. First, we prove by induction that the ΓΏnite duration versions of these games, played until some vertex is repeated, are determined and both players have memoryless winning strategies. In contra