Pages that link to "Item:Q2847190"

The following pages link to The isomorphism problem on classes of automatic structures with transitive relations (Q2847190):

Displaying 16 items.

• Tree-automatic scattered linear orders (Q264574) (← links)
• On automaton presentations of projective planes (Q467658) (← links)
• The isomorphism relation between tree-automatic structures (Q707994) (← links)
• Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
• The isomorphism problem for \(\omega \)-automatic trees (Q1759366) (← links)
• The isomorphism problem for FST injection structures (Q2151392) (← links)
• Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
• The isomorphism problem for tree-automatic ordinals with addition (Q2274485) (← links)
• Classifications of definable subsets (Q2300934) (← links)
• Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
• Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
• (Q4936629) (← links)
• Pumping for ordinal-automatic structures1 (Q5283444) (← links)
• A hierarchy of tree-automatic structures (Q5388735) (← links)
• Tree-Automatic Well-Founded Trees (Q5891703) (← links)
• Word automatic groups of nilpotency class 2 (Q6072210) (← links)