MARÍA TERESA
HORTALÁ GONZÁLEZ
Forscherin bis um 2011
Paqui
Lucio
Publikationen, an denen er mitarbeitet Paqui Lucio (1)
1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42