MARÍA TERESA
HORTALÁ GONZÁLEZ
Ikertzailea 2011-(e)ra arte
Universidad del País Vasco/Euskal Herriko Unibertsitatea
Lejona, EspañaUniversidad del País Vasco/Euskal Herriko Unibertsitatea-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42