Efficient parallel term matching and anti-unification (Q688582): Difference between revisions

@@ Property / cites work @@
+PARLOG: parallel programming in logic
@@ Property / cites work: PARLOG: parallel programming in logic / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Merge Sort
@@ Property / cites work: Parallel Merge Sort / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic coin tossing with applications to optimal parallel list ranking
+Normal rank
@@ Property / cites work @@
+Approximate Parallel Scheduling. Part I: The Basic Technique with Applications to Optimal Parallel List Ranking in Logarithmic Time
+Normal rank
@@ Property / cites work @@
+Some results on the complexity of exploiting data dependency in parallel logic programs
+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 @@
+Computing connected components on parallel computers
+Normal rank
@@ Property / cites work @@
+Q4385522
@@ Property / cites work: Q4385522 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal parallel algorithms for forest and term matching
+Normal rank
@@ Property / cites work @@
+A note on the parallel complexity of anti-unification
+Normal rank
@@ Property / cites work @@
+Most specific logic programs
@@ Property / cites work: Most specific logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel algorithms for the connected components and minimal spanning tree problems
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677085
@@ Property / cites work: Q5677085 / 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 @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Parallel Biconnectivity Algorithm
@@ Property / cites work: An Efficient Parallel Biconnectivity Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00245298
+Normal rank
@@ Property / OpenAlex ID @@
+W1492604685
@@ Property / OpenAlex ID: W1492604685 / rank @@
+Normal rank