The following pages link to (Q4415252):
Displaying 5 items.
- Simulation relations for alternating Büchi automata (Q557801) (← links)
- Mediating for reduction (on minimizing alternating Büchi automata) (Q740970) (← links)
- Parity game reductions (Q1656552) (← links)
- Applicability of fair simulation (Q1886036) (← links)
- Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (Q5317190) (← links)