A Logical Framework for Debugging in Declarative Constraint Programming

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

ISSN: 1571-0661

Argitalpen urtea: 2009

Alea: 256

Orrialdeak: 119-135

Mota: Artikulua

DOI: 10.1016/J.ENTCS.2009.11.009 GOOGLE SCHOLAR lock_openSarbide irekia editor