The following pages link to (Q4910735):
Displayed 8 items.
- The isomorphism relation between tree-automatic structures (Q707994) (← links)
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- Model-theoretic properties of \(\omega\)-automatic structures (Q2254518) (← links)
- Uncountable automatic classes and learning (Q2431428) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Where Automatic Structures Benefit from Weighted Automata (Q3098042) (← links)
- Automatic Structures of Bounded Degree Revisited (Q3644760) (← links)
- Uncountable Automatic Classes and Learning (Q3648759) (← links)