Département
Sistemas Informáticos y Computación
Articles (3) Publications auxquelles un chercheur a participé
1997
-
A propósito de Huffman
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 130, pp. 13
-
Paramodulation with built-in AC-theories and symbolic constraints
Journal of Symbolic Computation, Vol. 23, Núm. 1, pp. 1-21
-
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