Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470): Difference between revisions

@@ 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 @@
+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 @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+Observable behaviors and equivalences of logic programs
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming and Its Applications
+Normal rank
@@ Property / cites work @@
+On Greatest Fixpoint Semantics of Logic Programming
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751042
@@ Property / cites work: Q3751042 / rank @@
+Normal rank
@@ Property / cites work @@
+Co-Logic Programming: Extending Logic Programming with Coinduction
+Normal rank
@@ Property / cites work @@
+Relating Coalgebraic Notions of Bisimulation
@@ Property / cites work: Relating Coalgebraic Notions of Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel complexity of logical query programs
@@ Property / cites work: Parallel complexity of logical query programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222958
@@ Property / cites work: Q4222958 / rank @@
+Normal rank