Pages that link to "Item:Q1764420"
From MaRDI portal
The following pages link to Fixed-point logics and solitaire games (Q1764420):
Displaying 16 items.
- Alternating traps in Muller and parity games (Q389948) (← links)
- Game logic is strong enough for parity games (Q1425188) (← 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)
- The solitaire clobber game and correducibility (Q2413160) (← links)
- Pebble games and subroutines in least fixed point logic (Q2508327) (← links)
- (Q3114946) (← links)
- (Q3384167) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- Defining Winning Strategies in Fixed-Point Logic (Q4635818) (← links)
- (Q4945237) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- (Q5184881) (← links)
- Automata, Languages and Programming (Q5466481) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)