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

1997

  1. A propósito de Huffman

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

  2. Paramodulation with built-in AC-theories and symbolic constraints

    Journal of Symbolic Computation, Vol. 23, Núm. 1, pp. 1-21

  3. The locker metaphor to teach dynamic memory

    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), Vol. 29, Núm. 1, pp. 169-173