Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming (Q3067475): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-17796-5_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1508143293
@@ Property / OpenAlex ID: W1508143293 / rank @@
+Normal rank
@@ Property / cites work @@
+On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+A new generic scheme for functional logic programming with constraints
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Q4229811
@@ Property / cites work: Q4229811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364372
@@ Property / cites work: Q4364372 / rank @@
+Normal rank
@@ Property / cites work @@
+A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
+Normal rank