The following pages link to Automatic linear orders and trees (Q5277736):
Displayed 19 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- Subalgebras of FA-presentable algebras. (Q466920) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- FA-presentable groups and rings (Q947484) (← links)
- From automatic structures to automatic groups. (Q2016098) (← links)
- The isomorphism problem for FST injection structures (Q2151392) (← links)
- The isomorphism problem for tree-automatic ordinals with addition (Q2274485) (← links)
- The ordinal generated by an ordinal grammar is computable (Q2326394) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- Injection Structures Specified by Finite State Transducers (Q2970970) (← links)
- Automata on Ordinals and Linear Orders (Q3091463) (← links)
- Where Automatic Structures Benefit from Weighted Automata (Q3098042) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- Unary Automatic Graphs: An Algorithmic Perspective (Q3502677) (← links)
- Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) (← links)
- Some natural decision problems in automatic graphs (Q3570167) (← links)
- Unary automatic graphs: an algorithmic perspective (Q3616222) (← links)
- Pumping for ordinal-automatic structures1 (Q5283444) (← links)
- Tree-Automatic Well-Founded Trees (Q5891703) (← links)