Ordered structures for parallel rule-based computations (Q2776789): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207160108805128
+Normal rank
@@ Property / OpenAlex ID @@
+W1981174102
@@ Property / OpenAlex ID: W1981174102 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient dataflow analysis of logic programs
@@ Property / cites work: Efficient dataflow analysis of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on the complexity of exploiting data dependency in parallel logic programs
+Normal rank
@@ Property / cites work @@
+The reduce-or process model for parallel execution of logic programs
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
+Normal rank
@@ Property / cites work @@
+An algorithm to minimize representations of finite order relations
+Normal rank
@@ Property / cites work @@
+The best nondeterministic representations of finite orderings.
+Normal rank