The following pages link to (Q4501152):
Displayed 11 items.
- Automatic models of first order theories (Q387121) (← links)
- Algebraic structures computable without delay (Q528478) (← links)
- Automatic presentations and semigroup constructions (Q1959386) (← links)
- Graphs are not universal for online computability (Q2186809) (← links)
- Online presentations of finitely generated structures (Q2205949) (← links)
- The isomorphism problem for tree-automatic ordinals with addition (Q2274485) (← links)
- An example of an automatic graph of intermediate growth (Q2352257) (← links)
- Robust learning of automatic classes of languages (Q2637647) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- (Q5155667) (← links)
- Addition machines, automatic functions and open problems of Floyd and Knuth (Q6098150) (← links)