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

2002

  1. A Maude specification of an object-oriented model for telecommunication networks

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 407-439

  2. A fully syntactic AC-RPO

    Information and Computation, Vol. 178, Núm. 2, pp. 515-533

  3. A system to generate electronic books on programming exercises

    Electronic Library, Vol. 20, Núm. 4, pp. 314-321

  4. Approximation theorems in o-minimal structures

    Illinois Journal of Mathematics, Vol. 46, Núm. 1, pp. 111-128

  5. Computing Curricula 2001

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

  6. 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

  7. 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

  8. 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

  9. Knowledge model reuse: Therapy decision through specialisation of a generic decision model

    Expert Systems with Applications, Vol. 23, Núm. 2, pp. 113-135

  10. Maude: Specification and programming in rewriting logic

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 187-243

  11. 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

  12. Rewriting logic: Roadmap and bibliography

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 121-154

  13. Simultaneous rigid sorted unification for tableaux

    Studia Logica, Vol. 72, Núm. 1, pp. 31-59

  14. The narrowing-driven approach to functional logic program specialization

    New Generation Computing, Vol. 20, Núm. 1, pp. 3-26