![](/img/cover-not-exists.png)
Some general incompleteness results for partial correctness logics
M.Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodíguez-ArtalejoVolume:
79
Year:
1988
Language:
english
Pages:
21
DOI:
10.1016/0890-5401(88)90015-6
File:
PDF, 1.10 MB
english, 1988