Exploiting parallelism in coalgebraic logic programming (Q280198): Difference between revisions

@@ Property / arXiv ID @@
+.4454
@@ Property / arXiv ID: 1312.4454 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of declarative programming languages
+Normal rank
@@ Property / cites work @@
+Type Inference by Coinductive Logic Programming
@@ Property / cites work: Type Inference by Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
+Normal rank
@@ Property / cites work @@
+Saturated Semantics for Coalgebraic Logic Programming
+Normal rank
@@ Property / cites work @@
+An interactive semantics of logic programming
@@ Property / cites work: An interactive semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of observables for logic programs
@@ Property / cites work: A theory of observables for logic programs / rank @@
+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 @@
+Observable behaviors and equivalences of logic programs
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
+Normal rank
@@ Property / cites work @@
+Coalgebraic Derivations in Logic Programming
@@ Property / cites work: Coalgebraic Derivations in Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Semantics for Derivations in Logic Programming
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel complexity of logical query programs
@@ Property / cites work: Parallel complexity of logical query programs / rank @@
+Normal rank