Pages that link to "Item:Q1168306"
From MaRDI portal
The following pages link to On direct products of automaton decidable theories (Q1168306):
Displayed 24 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- Learnability of automatic classes (Q1757849) (← links)
- Complexity and categoricity of injection structures induced by finite state transducers (Q2117771) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- A computation model with automatic functions and relations as primitive operations (Q2672645) (← links)
- String compression in FA-presentable structures (Q2682935) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Injection Structures Specified by Finite State Transducers (Q2970970) (← links)
- ALGEBRAIC LINEAR ORDERINGS (Q3086252) (← links)
- Where Automatic Structures Benefit from Weighted Automata (Q3098042) (← links)
- Automatic structures of bounded degree revisited (Q3107359) (← links)
- BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS (Q3110897) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) (← links)
- Analysing Complexity in Classes of Unary Automatic Structures (Q3618610) (← links)
- Automatic Structures of Bounded Degree Revisited (Q3644760) (← links)
- (Q5079723) (← links)
- (Q5155667) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)
- First-order and counting theories of<i>ω</i>-automatic structures (Q5387304) (← links)