%0 Journal Article %1 journals/tocl/CohenK00 %A Cohen, Ernie %A Kozen, Dexter %D 2000 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 171-174 %T A note on the complexity of propositional Hoare logic. %U http://dblp.uni-trier.de/db/journals/tocl/tocl1.html#CohenK00 %V 1

@article{journals/tocl/CohenK00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cohen, Ernie and Kozen, Dexter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d4e16570833c09f778825c94ddae30c1/dblp}, ee = {https://doi.org/10.1145/343369.343404}, interhash = {4d5b8a2152a9af3fc6d916c726f79681}, intrahash = {d4e16570833c09f778825c94ddae30c1}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {171-174}, timestamp = {2019-09-27T06:33:48.000+0200}, title = {A note on the complexity of propositional Hoare logic.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl1.html#CohenK00}, volume = 1, year = 2000 }