A foundation for higher-order concurrent constraint programming (Q5096300): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686011
@@ Property / cites work: Q3686011 / rank @@
+Normal rank
@@ Property / cites work @@
+A feature constraint system for logic programming with entailment
+Normal rank
@@ Property / cites work @@
+Q4288820
@@ Property / cites work: Q4288820 / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Q4391452
@@ Property / cites work: Q4391452 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Records for logic programming
@@ Property / cites work: Records for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096300