Pages that link to "Item:Q3586055"
From MaRDI portal
The following pages link to The Isomorphism Problem for ω-Automatic Trees (Q3586055):
Displayed 5 items.
- Automatic models of first order theories (Q387121) (← links)
- The isomorphism problem for tree-automatic ordinals with addition (Q2274485) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- A hierarchy of tree-automatic structures (Q5388735) (← links)