Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. In Jacques Garrigue, Manuel V. Hermenegildo, editors, Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Volume 4989 of Lecture Notes in Computer Science, pages 305-321, Springer, 2008. [doi]

Authors

Rafael Caballero

This author has not been identified. Look up 'Rafael Caballero' in Google

Mario Rodríguez-Artalejo

This author has not been identified. Look up 'Mario Rodríguez-Artalejo' in Google

Rafael del Vado Vírseda

This author has not been identified. Look up 'Rafael del Vado Vírseda' in Google