%0 Journal Article %1 journals/ipl/BergstraT82 %A Bergstra, Jan A. %A Tucker, John V. %D 1982 %J Inf. Process. Lett. %K dblp %N 4 %P 143-149 %T Two Theorems About the Completeness of Hoare's Logic. %U http://dblp.uni-trier.de/db/journals/ipl/ipl15.html#BergstraT82 %V 15

@article{journals/ipl/BergstraT82, added-at = {2019-07-12T00:00:00.000+0200}, author = {Bergstra, Jan A. and Tucker, John V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b6b4264ac5e0d7c3792c5fc1b703272/dblp}, ee = {https://doi.org/10.1016/0020-0190(82)90095-3}, interhash = {9acb3f3a6b9ec801862e8c349ecaacbc}, intrahash = {7b6b4264ac5e0d7c3792c5fc1b703272}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 4, pages = {143-149}, timestamp = {2019-09-27T06:28:18.000+0200}, title = {Two Theorems About the Completeness of Hoare's Logic.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl15.html#BergstraT82}, volume = 15, year = 1982 }