Biltzar ekarpenak (2) Ikertzaileren baten partaidetza izan duten argitalpenak

1987

  1. Tamaño medio de árboles simplificados

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

  2. 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