Pages that link to "Item:Q3502675"
From MaRDI portal
The following pages link to Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675):
Displayed 4 items.
- Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Analysing Complexity in Classes of Unary Automatic Structures (Q3618610) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)