Pages that link to "Item:Q3088049"
From MaRDI portal
The following pages link to Parity Games on Graphs with Medium Tree-Width (Q3088049):
Displaying 7 items.
- Parity in graph sharing games (Q418883) (← links)
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← links)
- Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width (Q4927428) (← links)
- Foundations of Software Science and Computation Structures (Q5899098) (← links)
- Computer Aided Verification (Q5900672) (← links)