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

1996

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

    Electronic Notes in Theoretical Computer Science, Vol. 4, Núm. C, pp. 405-423

  2. A new look at pattern matching in abstract data types

    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 31, Núm. 6, pp. 110-121

  3. Graphical visualization of the evaluation of functional programs

    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), Vol. 28, Núm. Special Issu, pp. 36-38

  4. Inclusions and subtypes I: First-order case

    Journal of Logic and Computation, Vol. 6, Núm. 3, pp. 409-438

  5. Inclusions and subtypes II: Higher-order case

    Journal of Logic and Computation, Vol. 6, Núm. 4, pp. 541-572

  6. Rewriting Logic as a Logical and Semantic Framework This paper is a short version of [36], where the reader can find more examples and details not discussed here.

    Electronic Notes in Theoretical Computer Science, Vol. 4, Núm. C, pp. 190-225