TY  - THES
AU  - Vado Vírseda, Rafael del
A3  - Rodríguez Artalejo, Mario
PY  - 2009
SN  - 978-84-692-2770-1
UR  - https://hdl.handle.net/20.500.14352/48698
AB  - En este trabajo consideramos dos tipos de errores susceptibles de ser tratados mediante nuestro método de depuración declarativa. En primer lugar, se consideran aquellas respuestas que han sido obtenidas de manera inesperada para un objetivo...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Programación lógica
KW  - Programación funcional
KW  - Programación lógico-funcional
TI  - Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
M3  - doctoral thesis
ER  -