Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864): Difference between revisions

@@ Property / cites work @@
+Q3357521
@@ Property / cites work: Q3357521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873717
@@ Property / cites work: Q4873717 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Modules for Prolog Revisited
@@ Property / cites work: Modules for Prolog Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Logic Programming
@@ Property / cites work: A Proof-Theoretic Approach to Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming in a fragment of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+A modular module system
@@ Property / cites work: A modular module system / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming in the context of multiparadigm programming: the Oz experience
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank