The following pages link to Systolic tree ω-languages (Q4596616):
Displaying 6 items.
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- On a family of L languages resulting from systolic tree automata (Q800102) (← links)
- The greatest fixed-points and rational omega-tree languages (Q1082091) (← links)
- Systolic tree \(\omega\)-languages: The operational and the logical view (Q1575949) (← links)
- Logical definability of \(Y\)-tree and trellis systolic \(\omega\)-languages (Q2770585) (← links)
- Syntactic monoids in the construction of systolic tree automata (Q3704911) (← links)