The following pages link to (Q3691083):
Displayed 14 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Büchi context-free languages (Q627181) (← links)
- On Müller context-free grammars (Q764314) (← links)
- Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) (Q783293) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- Automata on linear orderings (Q859978) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- Finite automata and ordinals (Q1351785) (← links)
- Logic over words on denumerable ordinals (Q1604197) (← links)
- MSO-definable Properties of Muller Context-Free Languages Are Decidable (Q2829973) (← links)
- Automata on Ordinals and Linear Orders (Q3091463) (← links)
- Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
- A hierarchy of tree-automatic structures (Q5388735) (← links)
- First-order separation over countable ordinals (Q6181932) (← links)