The following pages link to Tree-automatic well-founded trees (Q5891070):
Displaying 6 items.
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- The isomorphism problem for \(\omega \)-automatic trees (Q1759366) (← links)
- One-stage tree: end-to-end tree builder and pruner (Q2163237) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- The Rank of Tree-Automatic Linear Orderings (Q2957918) (← links)
- (Q5016383) (← links)