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 16 items.
- Automata and logics over finitely varying functions (Q636272) (← links)
- A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata (Q685507) (← links)
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- Topological characterizations of infinite tree languages (Q1092675) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- On automata on infinite trees (Q1186604) (← links)
- Infinite trees and automaton-definable relations over \(\omega\)-words (Q1199531) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Weak Muller acceptance conditions for tree automata (Q1770388) (← links)
- (Q2754072) (← links)
- Parallel generation of infinite images (Q3477989) (← links)
- (Q3748266) (← links)
- (Q3998008) (← links)
- Profinite Methods in Automata Theory (Q5389964) (← links)
- Automata theory and its applications (Q5936849) (← links)