Search the dblp DataBase

Publications of Author

1. Rafael del Vado Vírseda
   Declarative Constraint Programming with Definitional Trees. [Citation Graph (0, 0)][DBLP]
   FroCos, 2005, pp:184-199 [Conf]
   
2. Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
   Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 2006, pp:421-422 [Conf]
   
3. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
   A lazy narrowing calculus for declarative constraint programming. [Citation Graph (0, 0)][DBLP]
   PPDP, 2004, pp:43-54 [Conf]
   
4. Rafael del Vado Vírseda
   A demand-driven narrowing calculus with overlapping definitional trees. [Citation Graph (0, 0)][DBLP]
   PPDP, 2003, pp:253-263 [Conf]
   
5. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
   Constraint Functional Logic Programming Revisited. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:5-50 [Journal]
   
6. Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
   A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:235-252 [Journal]
   
7. Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
   Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 2007, pp:425-427 [Conf]
   
8. Rafael del Vado Vírseda
   A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:169-184 [Conf]
   
9. Sonia Estévez Martín, Rafael del Vado Vírseda
   Designing an efficient computation strategy in CFLP(FD) using definitional trees. [Citation Graph (0, 0)][DBLP]
   WCFLP, 2005, pp:23-31 [Conf]
   
10. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
    Constraint Functional Logic Programming over Finite Domains [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
11. Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
    A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:37-51 [Journal]
    
12. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    A new generic scheme for functional logic programming with constraints. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:73-122 [Journal]
    
13. 
    Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (, )][DBLP]
    
    
14. 
    Interactive Learning of Data Structures and Algorithmic Schemes. [Citation Graph (, )][DBLP]
    
    
15. 
    An Intelligent Tutoring System for Interactive Learning of Data Structures. [Citation Graph (, )][DBLP]
    
    
16. 
    Cooperation of constraint domains in the TOY system. [Citation Graph (, )][DBLP]
    
    
17. 
    A higher-order logical framework for the algorithmic debugging and verification of declarative programs. [Citation Graph (, )][DBLP]
    
    
18. 
    A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes. [Citation Graph (, )][DBLP]
    
    
19. 
    A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. [Citation Graph (, )][DBLP]
    
    
20. 
    An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation. [Citation Graph (, )][DBLP]
    
    
21. 
    On the Cooperation of the Constraint Domains H, R and FD in CFLP [Citation Graph (, )][DBLP]
    
    
22. 
    A Logical Framework for Debugging in Declarative Constraint Programming. [Citation Graph (, )][DBLP]