Isomorphisms of scattered automatic linear orders (Q2446106): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2269692981
@@ Property / OpenAlex ID: W2269692981 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5653
@@ Property / arXiv ID: 1204.5653 / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3172381
@@ Property / cites work: Q3172381 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS
+Normal rank
@@ Property / cites work @@
+A Context-Free Linear Ordering with an Undecidable First-Order Theory
+Normal rank
@@ Property / cites work @@
+The FC-rank of a context-free language
@@ Property / cites work: The FC-rank of a context-free language / rank @@
+Normal rank
@@ Property / cites work @@
+Automaticity of ordinals and of homogeneous graphs
+Normal rank
@@ Property / cites work @@
+Q2904765
@@ Property / cites work: Q2904765 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidable property of context-free linear orders
+Normal rank
@@ Property / cites work @@
+On direct products of automaton decidable theories
+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 @@
+Q3396632
@@ Property / cites work: Q3396632 / 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 @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Logical Aspects of the Lexicographic Order on 1-Counter Languages
+Normal rank
@@ Property / cites work @@
+The isomorphism problem on classes of automatic structures with transitive relations
+Normal rank
@@ Property / cites work @@
+Deciding the isomorphism problem in classes of unary automatic structures
+Normal rank
@@ Property / cites work @@
+Isomorphism of regular trees and words
@@ Property / cites work: Isomorphism of regular trees and words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286756
@@ Property / cites work: Q4286756 / rank @@
+Normal rank
@@ Property / cites work @@
+Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank