A note on the parallel complexity of anti-unification (Q688579): Difference between revisions

@@ Property / cites work @@
+Optimal parallel generation of a computation tree form
+Normal rank
@@ Property / cites work @@
+On the sequential nature of unification
@@ Property / cites work: On the sequential nature of unification / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Algorithms for Term Matching
@@ Property / cites work: Parallel Algorithms for Term Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism in random access machines
@@ Property / cites work: Parallelism in random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Most specific logic programs
@@ Property / cites work: Most specific logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+Term matching on parallel computers
@@ Property / cites work: Term matching on parallel computers / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic parallel memories
@@ Property / cites work: Dynamic parallel memories / rank @@
+Normal rank