The isomorphism problem on classes of automatic structures with transitive relations (Q2847190): Difference between revisions

@@ Property / author @@
-Dietrich Kuske
@@ Property / author: Dietrich Kuske / rank @@
-Normal rank
@@ Property / author @@
+Dietrich Kuske
@@ Property / author: Dietrich Kuske / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory
+Normal rank
@@ Property / cites work @@
+Q4910735
@@ Property / cites work: Q4910735 / rank @@
+Normal rank
@@ Property / cites work @@
+ALGEBRAIC LINEAR ORDERINGS
@@ Property / cites work: ALGEBRAIC LINEAR ORDERINGS / 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 @@
+Effective categoricity of equivalence structures
@@ Property / cites work: Effective categoricity of equivalence structures / rank @@
+Normal rank
@@ Property / cites work @@
+Classification from a Computable Viewpoint
@@ Property / cites work: Classification from a Computable Viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / 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 @@
+An undecidable property of context-free linear orders
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+On direct products of automaton decidable theories
+Normal rank
@@ Property / cites work @@
+Q3409983
@@ Property / cites work: Q3409983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Automatic Well-Founded Trees
@@ Property / cites work: Tree-Automatic Well-Founded Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theoretic Complexity of Automatic Structures (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Q4501152
@@ Property / cites work: Q4501152 / 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 @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Where Automatic Structures Benefit from Weighted Automata
+Normal rank
@@ Property / cites work @@
+Isomorphisms of scattered automatic linear orders.
+Normal rank
@@ Property / cites work @@
+The Isomorphism Problem for ω-Automatic Trees
@@ Property / cites work: The Isomorphism Problem for ω-Automatic Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Some natural decision problems in automatic graphs
+Normal rank
@@ Property / cites work @@
+Automatic structures of bounded degree revisited
@@ Property / cites work: Automatic structures of bounded degree revisited / rank @@
+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 @@
+Analysing Complexity in Classes of Unary Automatic Structures
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+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 @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+On frontiers of regular trees
@@ Property / cites work: On frontiers of regular trees / rank @@
+Normal rank
@@ Property / cites work @@
+The additive group of the rationals does not have an automatic presentation
+Normal rank
@@ Property / cites work @@
+On the valuedness of finite transducers
@@ Property / cites work: On the valuedness of finite transducers / rank @@
+Normal rank