The following pages link to (Q4449203):
Displayed 8 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)
- 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)
- (Q5111275) (← links)