Publications by the researcher in collaboration with María Teresa Hortala González (1)

1988

  1. Some general incompleteness results for partial correctness logics

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