Publicaciones en colaboración con investigadores/as de Universidad del País Vasco/Euskal Herriko Unibertsitatea (1)

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69