The following pages link to (Q5608007):
Displaying 20 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Exact complexity bounds for ordinal addition (Q671516) (← 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)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Ehrenfeucht games and ordinal addition (Q1377635) (← 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)
- Tree acceptors and some of their applications (Q2544414) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- Theories of orders on the set of words (Q3374756) (← links)
- Transfinite Lyndon Words (Q3451100) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
- (Q5140264) (← links)
- Decision methods in the theory of ordinals (Q5608006) (← links)
- Logic and rational languages of scattered and countable series-parallel posets (Q5919278) (← links)
- Non-emptiness test for automata over words indexed by the reals and rationals (Q6666789) (← links)
