Pages that link to "Item:Q1764420"
From MaRDI portal
The following pages link to Fixed-point logics and solitaire games (Q1764420):
Displaying 7 items.
- Alternating traps in Muller and parity games (Q389948) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- (Q3384167) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)