Pages that link to "Item:Q1168306"

The following pages link to On direct products of automaton decidable theories (Q1168306):

Displaying 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)