Unary Automatic Graphs: An Algorithmic Perspective (Q3502677): Difference between revisions

@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828516
@@ Property / cites work: Q4828516 / 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 @@
+Q4531374
@@ Property / cites work: Q4531374 / 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 @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic structures
@@ Property / cites work: Automatic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737901
@@ Property / cites work: Q4737901 / rank @@
+Normal rank