Departamento
Sistemas Informáticos y Computación
Artículos (10) Publicaciones en las que ha participado algún/a investigador/a
2001
-
A case study in abstraction using E-LOTOS and the FireWire
Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502
-
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
-
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
-
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445
-
La Economía vista desde la Filosofía
Revista de estudios económicos y empresariales, Núm. 14, pp. 27-35
-
Nash triviality in families of Nash mappings
Annales de l'Institut Fourier, Vol. 51, Núm. 5, pp. 1209-1228
-
Partial evaluation of multi-paradigm declarative languages
AI Communications, Vol. 14, Núm. 4, pp. 235-237
-
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
-
Two reflected analyses of lights out
Mathematics magazine, Vol. 74, Núm. 4, pp. 295
-
Worst-case groundness analysis using definite Boolean functions
Theory and Practice of Logic Programming, Vol. 1, Núm. 5, pp. 611-615