The following pages link to (Q5476782):
Displaying 4 items.
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Automated complexity analysis based on ordered resolution (Q2947004) (← links)
- Some natural decision problems in automatic graphs (Q3570167) (← links)
- Analysing Complexity in Classes of Unary Automatic Structures (Q3618610) (← links)