Export: Estimating the computational cost of logic programs

Debray, S.K. and López García, Pedro and Hermenegildo, Manuel V. and Lin, Nai-Wei (1994). Estimating the computational cost of logic programs. In: "First International Static Analysis Symposium, SAS '94", September 28-30, 1994, Namur, Belgium. ISBN 9783540584858.

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