Pages that link to "Item:Q1876889"
From MaRDI portal
The following pages link to Automaticity of ordinals and of homogeneous graphs (Q1876889):
Displaying 28 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- Automatic models of first order theories (Q387121) (← links)
- Subalgebras of FA-presentable algebras. (Q466920) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- The isomorphism relation between tree-automatic structures (Q707994) (← links)
- Height of a superposition (Q862984) (← links)
- Automatic presentations for semigroups. (Q1041033) (← links)
- Semiautomatic structures (Q1694004) (← links)
- A note on ordinal DFAs (Q1943687) (← links)
- An undecidable property of context-free linear orders (Q1944046) (← links)
- Complexity and categoricity of injection structures induced by finite state transducers (Q2117771) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Model-theoretic properties of \(\omega\)-automatic structures (Q2254518) (← links)
- The isomorphism problem for tree-automatic ordinals with addition (Q2274485) (← links)
- On decidability of list structures (Q2332060) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Injection Structures Specified by Finite State Transducers (Q2970970) (← links)
- ALGEBRAIC LINEAR ORDERINGS (Q3086252) (← links)
- Automata on Ordinals and Linear Orders (Q3091463) (← links)
- Where Automatic Structures Benefit from Weighted Automata (Q3098042) (← links)
- UNARY FA-PRESENTABLE SEMIGROUPS (Q3166269) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) (← links)
- Automatic Presentations for Cancellative Semigroups (Q3540105) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)
- Pumping for ordinal-automatic structures1 (Q5283444) (← links)
- Tree-Automatic Well-Founded Trees (Q5891703) (← links)