Tree-Automatic Well-Founded Trees (Q5891703): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+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 @@
+Classification from a Computable Viewpoint
@@ Property / cites work: Classification from a Computable Viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Automaticity of ordinals and of homogeneous graphs
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
+Normal rank
@@ Property / cites work @@
+Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
+Normal rank
@@ Property / cites work @@
+First-Order Model Checking on Generalisations of Pushdown Graphs
+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
+Normal rank
@@ Property / cites work @@
+Automatic presentations of structures
@@ Property / cites work: Automatic presentations of 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 @@
+The isomorphism problem on classes of automatic structures with transitive relations
+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 @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurrent Reachability Analysis in Regular Model Checking
+Normal rank