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

@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6577990
@@ Property / zbMATH DE Number: 6577990 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coinduction
@@ Property / zbMATH Keywords: coinduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+corecursion
@@ Property / zbMATH Keywords: corecursion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+guardedness
@@ Property / zbMATH Keywords: guardedness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parallelism
@@ Property / zbMATH Keywords: parallelism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+GoLang
@@ Property / zbMATH Keywords: GoLang / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317889
@@ Property / Wikidata QID: Q113317889 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+go
@@ Property / describes a project that uses: go / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2051432956
@@ Property / OpenAlex ID: W2051432956 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:280198