- Tytuł:
- On Winning Conditions of High Borel Complexity in Pushdown Games
- Autorzy:
- Finkel, O.
- Data publikacji:
- 2005
- Słowa kluczowe:
-
pushdown automata
infinite two-player games
pushdown games
winning conditions
Borel complexity
context-free language
closure under boolean operations
set of winning positions - Pokaż więcej
- Dostawca treści:
- BazTech