The following pages link to (Q4010366):
Displayed 9 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Gurevich-Harrington's games defined by finite automata (Q685082) (← links)
- Infinite games played on finite graphs (Q1314640) (← links)
- Pushdown processes: Games and model-checking (Q1854405) (← links)
- McNaughton games and extracting strategies for concurrent programs (Q1919769) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- Extracting Winning Strategies in Update Games (Q3091450) (← links)
- Games with Unknown Past (Q4393169) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)