Departament
Sistemas Informáticos y Computación
Articles (14) Publicacions en què ha participat algun/a investigador/a
2002
-
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science, Vol. 285, Núm. 2, pp. 407-439
-
A fully syntactic AC-RPO
Information and Computation, Vol. 178, Núm. 2, pp. 515-533
-
A system to generate electronic books on programming exercises
Electronic Library, Vol. 20, Núm. 4, pp. 314-321
-
Approximation theorems in o-minimal structures
Illinois Journal of Mathematics, Vol. 46, Núm. 1, pp. 111-128
-
Computing Curricula 2001
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 157, pp. 47
-
Describing generic expertise models as object-oriented analysis patterns: The heuristic multi-attribute decision pattern
Expert Systems, Vol. 19, Núm. 3, pp. 142-169
-
Enseñanza Hipermedia de la Historia: técnicas y modelos de estructuración de la información
Comunicación y Pedagogía: nuevas tecnologías y recursos didácticos, Núm. 184, pp. 53-59
-
Gestión de una participación fija de memoria
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 160, pp. 72
-
Knowledge model reuse: Therapy decision through specialisation of a generic decision model
Expert Systems with Applications, Vol. 23, Núm. 2, pp. 113-135
-
Maude: Specification and programming in rewriting logic
Theoretical Computer Science, Vol. 285, Núm. 2, pp. 187-243
-
Parametric 2-dimensional L systems and recursive fractal images: Mandelbrot set, Julia sets and biomorphs
Computers and Graphics (Pergamon), Vol. 26, Núm. 1, pp. 143-149
-
Rewriting logic: Roadmap and bibliography
Theoretical Computer Science, Vol. 285, Núm. 2, pp. 121-154
-
Simultaneous rigid sorted unification for tableaux
Studia Logica, Vol. 72, Núm. 1, pp. 31-59
-
The narrowing-driven approach to functional logic program specialization
New Generation Computing, Vol. 20, Núm. 1, pp. 3-26