Artikuluak (3) Ikertzaileren baten partaidetza izan duten argitalpenak

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