Saila
Sistemas Informáticos y Computación
Biltzar ekarpenak (2) Ikertzaileren baten partaidetza izan duten argitalpenak
1987
-
Tamaño medio de árboles simplificados
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987
-
Un sistema de verificación para lenguajes de programación tipo funcional
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987