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

@@ Property / author @@
+Gabriel M. Kuper
@@ Property / author: Gabriel M. Kuper / rank @@
+Normal rank
@@ Property / author @@
+Kenneth McAloon
@@ Property / author: Kenneth McAloon / rank @@
+Normal rank
@@ Property / author @@
+Kenneth J. Perry
@@ Property / author: Kenneth J. Perry / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00245297
+Normal rank
@@ Property / OpenAlex ID @@
+W2094748790
@@ Property / OpenAlex ID: W2094748790 / rank @@
+Normal rank