Browse by Editor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 5.

Book Section

Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2000). A generic preprocessor for program validation and debugging. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 63-107. ISBN 9783540411376. https://doi.org/10.1007/10722311_3.

Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2000). An assertion language for constraint logic programs. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 23-61. ISBN 9783540411376. https://doi.org/10.1007/10722311_2.

Deransart, Pierre and Hermenegildo, Manuel V. and Maluszynski, Jan (2000). Debugging of constraint programs: The DiSCiPl methodology and tools. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 1-20. ISBN 9783540411376. https://doi.org/10.1007/10722311_1.

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2000). Tools for Search Tree Visualization: The APT Tool. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 237-252. ISBN 9783540411376. https://doi.org/10.1007/10722311_10.

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2000). Tools for constraint visualization: The VIFID/TRIFID tool. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 253-272. ISBN 9783540411376. https://doi.org/10.1007/10722311_11.

  • 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