Pages that link to "Item:Q794179"
From MaRDI portal
The following pages link to Infinitary tree languages recognized by \(\omega\)-automata (Q794179):
Displaying 9 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- The greatest fixed-points and rational omega-tree languages (Q1082091) (← links)
- Topological characterizations of infinite tree languages (Q1092675) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- Regular languages of thin trees (Q2957916) (← links)
- (Q3975166) (← links)
- (Q4202958) (← links)
- Systolic tree ω-languages (Q4596616) (← links)