A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains (Q5179011): Difference between revisions

@@ 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 @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+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 @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+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