Pages that link to "Item:Q1575949"
From MaRDI portal
The following pages link to Systolic tree \(\omega\)-languages: The operational and the logical view (Q1575949):
Displaying 8 items.
- Choice functions and well-orderings over the infinite binary tree (Q607442) (← links)
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- A Kleene-like characterization of languages accepted by systolic tree automata (Q1333404) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- Logical definability of \(Y\)-tree and trellis systolic \(\omega\)-languages (Q2770585) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)
- Systolic tree ω-languages (Q4596616) (← links)
- (Q4825687) (← links)