A Logical Framework for Debugging in Declarative Constraint Programming

  1. del Vado Vírseda, R.
Revista:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Año de publicación: 2009

Volumen: 256

Páginas: 119-135

Tipo: Artículo

DOI: 10.1016/J.ENTCS.2009.11.009 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus