Optimal evaluations of graph-like expressions (Q1136217): Difference between revisions

@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051641
@@ Property / cites work: Q4051641 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+A class of replacement systems with simple optimality theory
+Normal rank
@@ Property / cites work @@
+Computation on graph-like expressions
@@ Property / cites work: Computation on graph-like expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Speeding up subtree replacement systems
@@ Property / cites work: Speeding up subtree replacement systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192036
@@ Property / cites work: Q4192036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061934
@@ Property / cites work: Q4061934 / rank @@
+Normal rank