Monadic constraint programming (Q3648354): Difference between revisions

@@ Property / describes a project that uses @@
+COMET
@@ Property / describes a project that uses: COMET / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic control for hybrid search
@@ Property / cites work: Nondeterministic control for hybrid search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+SALSA: a language for search algorithms
@@ Property / cites work: SALSA: a language for search algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Polytypic unification
@@ Property / cites work: Polytypic unification / rank @@
+Normal rank
@@ Property / cites work @@
+PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION
+Normal rank
@@ Property / cites work @@
+A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
+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 @@
+On a Tighter Integration of Functional and Logic Programming
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+Search and strategies in OPL
@@ Property / cites work: Search and strategies in OPL / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3648354