R. del Vado Vírseda

Available identifiers

Publication	Date of Publication	Type
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains	2015-03-18	Paper
A Logical Framework for Debugging in Declarative Constraint Programming	2014-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q5398055	2014-02-25	Paper
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme	2014-01-24	Paper
A proposal for the cooperation of solvers in constraint functional logic programming	2013-12-20	Paper
Constraint functional logic programming revisited	2013-09-20	Paper
Cooperation of algebraic constraint domains in higher-order functional and logic programming	2011-01-21	Paper
A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions	2010-04-27	Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP	2009-10-19	Paper
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees	2008-09-17	Paper
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming	2008-04-11	Paper
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming	2008-03-11	Paper
Constraint functional logic programming over finite domains	2007-10-09	Paper
A new generic scheme for functional logic programming with constraints	2007-05-21	Paper
Frontiers of Combining Systems	2006-10-10	Paper

This page was built for person: R. del Vado Vírseda