Export: Abstract verification and debugging of constraint logic programs

Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and López García, Pedro (2003). Abstract verification and debugging of constraint logic programs. In: "Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming", June 19-21, 2002, Cork, Ireland. ISBN 9783540009863.

Please select an output format:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM