Pages that link to "Item:Q2847190"
From MaRDI portal
The following pages link to The isomorphism problem on classes of automatic structures with transitive relations (Q2847190):
Displaying 10 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- On automaton presentations of projective planes (Q467658) (← links)
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- The isomorphism problem for FST injection structures (Q2151392) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Classifications of definable subsets (Q2300934) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- Pumping for ordinal-automatic structures1 (Q5283444) (← links)
- Tree-Automatic Well-Founded Trees (Q5891703) (← links)
- Word automatic groups of nilpotency class 2 (Q6072210) (← links)
