An abstract concurrent machine for rewriting (Q5096204): Difference between revisions

@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210187
@@ Property / cites work: Q3210187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780426
@@ Property / cites work: Q3780426 / rank @@
+Normal rank
@@ Property / cites work @@
+An implementation of narrowing
@@ Property / cites work: An implementation of narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
+Normal rank
@@ Property / cites work @@
+Self-Adjusting Heaps
@@ Property / cites work: Self-Adjusting Heaps / rank @@
+Normal rank