Pages that link to "Item:Q582913"
From MaRDI portal
The following pages link to Automata on infinite objects and their applications to logic and programming (Q582913):
Displaying 4 items.
- A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata (Q685507) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Parallel generation of infinite images (Q3477989) (← links)
