MARÍA TERESA
HORTALÁ GONZÁLEZ
Investigadora fins a 2011
Universidad del País Vasco/Euskal Herriko Unibertsitatea
Lejona, EspañaPublicacions en col·laboració amb investigadors/es de Universidad del País Vasco/Euskal Herriko Unibertsitatea (1)
1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42