Publicaciones (5) Publicaciones en las que ha participado algún/a investigador/a

1987

  1. La Informática aplicada a la enseñanza

    EUDEMA Universidad

  2. Probabilistic Ianov's schemes

    Theoretical Computer Science, Vol. 53, Núm. 1, pp. 67-97

  3. Tamaño medio de árboles simplificados

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

  4. Tamaño medio de árboles simplificados

    Questiió: Quaderns d'Estadística, Sistemes, Informatica i Investigació Operativa, Vol. 11, Núm. 2, pp. 93-116

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