The following pages link to (Q2842876):
Displayed 7 items.
- Games with winning conditions of high Borel complexity (Q817850) (← links)
- Reachability on prefix-recognizable graphs (Q975403) (← links)
- Note on winning positions on pushdown games with \(\omega\)-regular conditions (Q1007544) (← links)
- Efficient CTL Model-Checking for Pushdown Systems (Q3090847) (← links)
- Games on Multi-stack Pushdown Systems (Q3605543) (← links)
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (Q3617724) (← links)
- Games on Higher Order Multi-stack Pushdown Systems (Q3646264) (← links)