The following pages link to (Q4449203):
Displaying 12 items.
- Infinite games specified by 2-tape automata (Q324245) (← links)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- On first-order logic and CPDA graphs (Q2254514) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Games on Higher Order Multi-stack Pushdown Systems (Q3646264) (← links)
- (Q5005144) (← links)
- (Q5014448) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
