Jan A. Bergstra, Jerzy Tiuryn. PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness. In Edmund M. Clarke, Dexter Kozen, editors, Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings. Volume 164 of Lecture Notes in Computer Science, pages 45-56, Springer, 1983.
@inproceedings{BergstraT83:1,
title = {PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness},
author = {Jan A. Bergstra and Jerzy Tiuryn},
year = {1983},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/BergstraT83%3A1},
cites = {0},
citedby = {0},
pages = {45-56},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings},
editor = {Edmund M. Clarke and Dexter Kozen},
volume = {164},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-12896-4},
}