Tree-automatic scattered linear orders (Q264574): Difference between revisions

@@ Property / cites work @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736874
@@ Property / cites work: Q4736874 / rank @@
+Normal rank
@@ Property / cites work @@
+BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision methods in the theory of ordinals
@@ Property / cites work: Decision methods in the theory of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+MSO on the Infinite Binary Tree: Choice and Order
@@ Property / cites work: MSO on the Infinite Binary Tree: Choice and Order / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming structures by set interpretations
@@ Property / cites work: Transforming structures by set interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Automaticity of ordinals and of homogeneous graphs
+Normal rank
@@ Property / cites work @@
+A hierarchy of tree-automatic structures
@@ Property / cites work: A hierarchy of tree-automatic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Rabin's uniformization problem
@@ Property / cites work: Rabin's uniformization problem / rank @@
+Normal rank
@@ Property / cites work @@
+On direct products of automaton decidable theories
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+The Rank of Tree-Automatic Linear Orderings
@@ Property / cites work: The Rank of Tree-Automatic Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
+Normal rank
@@ Property / cites work @@
+Pumping for ordinal-automatic structures1
@@ Property / cites work: Pumping for ordinal-automatic structures1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850551
@@ Property / cites work: Q4850551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396632
@@ Property / cites work: Q3396632 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic complexity of automatic structures
+Normal rank
@@ Property / cites work @@
+Three Lectures on Automatic Structures
@@ Property / cites work: Three Lectures on Automatic Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Structures: Richness and Limitations
@@ Property / cites work: Automatic Structures: Richness and Limitations / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic linear orders and trees
@@ Property / cites work: Automatic linear orders and trees / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphisms of scattered automatic linear orders
@@ Property / cites work: Isomorphisms of scattered automatic linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for \(\omega \)-automatic trees
+Normal rank
@@ Property / cites work @@
+The isomorphism problem on classes of automatic structures with transitive relations
+Normal rank
@@ Property / cites work @@
+Size and Computation of Injective Tree Automatic Presentations
+Normal rank
@@ Property / cites work @@
+Q4630798
@@ Property / cites work: Q4630798 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata presentable Abelian groups
@@ Property / cites work: Finite automata presentable Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on ordinals and automaticity of linear orders
+Normal rank
@@ Property / cites work @@
+The additive group of the rationals does not have an automatic presentation
+Normal rank