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

1988

  1. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42