|
|
Publicaciones en revistas:
 |
Rafael Caballero and Yolanda García Ruiz.
Implementing Dynamic Cut in Toy.
WFLP 2006 -
15th Workshop on Functional and (Constraint) Logic Programming.
137-152, Ed. Francisco Javier López Fraguas, Madrid, Spain.
(pdf 281 KB) |
Contribuciones en congresos:
|
Rafael Caballero, Yolanda García Ruiz and Fernando
Sáenz.
Towards a Set Oriented Calculus for Logic
Programming.
Proceedings
of the VI Jornadas de Programación y Lenguajes, PROLE’06, pages
41-50, Ed. Paqui Lucio y Fernando Orejas, Sitges, Barcelona, 2006, ISBN: 84-95999-84-6.
(pdf 413 KB) |
Informes técnicos:
|
Rafael Caballero, Yolanda García Ruiz and Fernando
Sáenz.
A Set Oriented Calculus for Logic
Programming.
Technical Report SIP-02/2006, Facultad de Informática,
Universidad Complutense de Madrid (2006).
Financiado por el proyecto del
Plan
Nacional I+D+I MERIT-FORMS-UCM
(pdf 286 KB) |
Trabajo de Investigación
Optimización de cómputos deterministas en lenguajes lógico-funcionales.
DIRECTOR:
Rafael Caballero Roldán.
CENTRO: Facultad de
Informática, departamento de Sistemas Informáticos y Programación.
FECHA DE LECTURA: 11 de Septiembre de 2006.
(pdf 394 KB)
Lista de publicaciones del grupo
|
![[Ucm]](images/escudo125.gif)