FRANCISCA
LUCIO CARRASCO
Ikertzaileren 1988-2022 tartean
![Foto de María Teresa](/img/nophoto.png)
María Teresa
Hortala González
María Teresa Hortala González-rekin lankidetzan egindako argitalpenak (1)
1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42