Rafael del Vado Vírseda

Available identifiers

zbMath Open del-vado-virseda.rafaelMaRDI QIDQ880984

List of research outcomes

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 <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> Scheme	2014-01-24	Paper
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming	2013-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849854	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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