The following pages link to (Q4531374):
Displayed 4 items.
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
- Unary Automatic Graphs: An Algorithmic Perspective (Q3502677) (← links)
- Analysing Complexity in Classes of Unary Automatic Structures (Q3618610) (← links)