The following pages link to ALGEBRAIC LINEAR ORDERINGS (Q3086252):
Displaying 7 items.
- A note on ordinal DFAs (Q1943687) (← links)
- An undecidable property of context-free linear orders (Q1944046) (← links)
- The ordinal generated by an ordinal grammar is computable (Q2326394) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Isomorphism of Regular Trees and Words (Q3012921) (← links)
- (Q5020534) (← links)
- ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS (Q5495418) (← links)
