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

@@ Property / author @@
-Sanjay Jain
@@ Property / author: Sanjay Jain / rank @@
-Normal rank
@@ Property / author @@
-Frank Stephan
@@ Property / author: Frank Stephan / rank @@
-Normal rank
@@ Property / author @@
+Sanjay Jain
@@ Property / author: Sanjay Jain / rank @@
+Normal rank
@@ Property / author @@
+Frank Stephan
@@ Property / author: Frank Stephan / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 03D05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C57
@@ Property / Mathematics Subject Classification ID: 03C57 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 06A05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6561613
@@ Property / zbMATH DE Number: 6561613 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tree automata
@@ Property / zbMATH Keywords: tree automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear orders
@@ Property / zbMATH Keywords: linear orders / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic structures
@@ Property / zbMATH Keywords: automatic structures / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2016.02.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2253092483
@@ Property / OpenAlex ID: W2253092483 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59864155
@@ Property / Wikidata QID: Q59864155 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/tcs/JainKSS16
@@ Property / DBLP publication ID: journals/tcs/JainKSS16 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:264574