Pages that link to "Item:Q1007544"
From MaRDI portal
The following pages link to Note on winning positions on pushdown games with \(\omega\)-regular conditions (Q1007544):
Displaying 8 items.
- Efficient CTL model-checking for pushdown systems (Q402129) (← links)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- Games with winning conditions of high Borel complexity (Q817850) (← links)
- On effective construction of the greatest solution of language inequality \(XA\subseteq BX\) (Q2437851) (← links)
- Efficient CTL Model-Checking for Pushdown Systems (Q3090847) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- Games on Multi-stack Pushdown Systems (Q3605543) (← links)
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (Q3617724) (← links)
