Pages that link to "Item:Q915487"
From MaRDI portal
The following pages link to Alternating automata with start formulas (Q915487):
Displaying 5 items.
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\) (Q293426) (← links)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- Alternating finite automata and star-free languages (Q1575674) (← links)