Pages that link to "Item:Q1944046"
From MaRDI portal
The following pages link to An undecidable property of context-free linear orders (Q1944046):
Displaying 6 items.
- The ordinal generated by an ordinal grammar is computable (Q2326394) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- ORDINAL AUTOMATA AND CANTOR NORMAL FORM (Q2909183) (← links)
- Isomorphism of Regular Trees and Words (Q3012921) (← links)
- The Order Type of Scattered Context-Free Orderings of Rank One Is Computable (Q3297776) (← links)
