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

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TOY
@@ Property / describes a project that uses: TOY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1967419422
@@ Property / OpenAlex ID: W1967419422 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318277
@@ Property / Wikidata QID: Q113318277 / 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 @@
+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