Artículos (10) Publicaciones en las que ha participado algún/a investigador/a

2001

  1. A case study in abstraction using E-LOTOS and the FireWire

    Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502

  2. A general framework for lazy functional logic programming with algebraic polymorphic types

    Theory and Practice of Logic Programming, Vol. 1, Núm. 2, pp. 185-245

  3. Consideraciones sobre la enseñanza de la Programacion en estudios Universitarios de Estadistica e Investigacoon Operativa

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 153, pp. 44

  4. Constraint Logic Programming with Hereditary Harrop formulas

    Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445

  5. La Economía vista desde la Filosofía

    Revista de estudios económicos y empresariales, Núm. 14, pp. 27-35

  6. Nash triviality in families of Nash mappings

    Annales de l'Institut Fourier, Vol. 51, Núm. 5, pp. 1209-1228

  7. Partial evaluation of multi-paradigm declarative languages

    AI Communications, Vol. 14, Núm. 4, pp. 235-237

  8. Publicación automática de animaciones de algoritmos en la Web

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 150, pp. 43

  9. Two reflected analyses of lights out

    Mathematics magazine, Vol. 74, Núm. 4, pp. 295

  10. Worst-case groundness analysis using definite Boolean functions

    Theory and Practice of Logic Programming, Vol. 1, Núm. 5, pp. 611-615