Deriving graphs from graphs by applying a production (Q1215276): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Stream Processing Functions
@@ Property / cites work: Stream Processing Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068071
@@ Property / cites work: Q4068071 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive methods for proving properties of programs
+Normal rank
@@ Property / cites work @@
+Q5508993
@@ Property / cites work: Q5508993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612497
@@ Property / cites work: Q5612497 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061934
@@ Property / cites work: Q4061934 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of flowchartable recursions
@@ Property / cites work: Characterization of flowchartable recursions / rank @@
+Normal rank