The following pages link to (Q3838998):
Displayed 12 items.
- Determinization of ordinal automata (Q383176) (← links)
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- Automata on linear orderings (Q859978) (← links)
- Logic over words on denumerable ordinals (Q1604197) (← links)
- Star-free sets of words on ordinals (Q1854423) (← links)
- Complementation of rational sets on scattered linear orderings of finite rank (Q2381522) (← links)
- Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
- Equational Theories of Scattered and Countable Series-Parallel Posets (Q5041243) (← links)
- Eilenberg Theorems for Free (Q5111258) (← links)
- (Q5875342) (← links)
- First-order separation over countable ordinals (Q6181932) (← links)