1983
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Informatica | |
Bergstra, J., & Tiuryn, J. (1983). PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness. Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum. |