%0 Conference Paper %1 conf/lop/MeyerT81 %A Meyer, Albert R. %A Tiuryn, Jerzy %B Logic of Programs %D 1981 %E Kozen, Dexter %I Springer %K dblp %P 282-299 %T A Note On Equivalences Among Logics of Programs. %U http://dblp.uni-trier.de/db/conf/lop/lop1981.html#MeyerT81 %V 131 %@ 0-387-11212-X

@inproceedings{conf/lop/MeyerT81, added-at = {2017-05-19T00:00:00.000+0200}, author = {Meyer, Albert R. and Tiuryn, Jerzy}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/244f915d0ee5ee2636ed8d2db70459a07/dblp}, booktitle = {Logic of Programs}, crossref = {conf/lop/1981}, editor = {Kozen, Dexter}, ee = {https://doi.org/10.1007/BFb0025787}, interhash = {8434855cfb11ceda0950ce82e25dab3a}, intrahash = {44f915d0ee5ee2636ed8d2db70459a07}, isbn = {0-387-11212-X}, keywords = {dblp}, pages = {282-299}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:41:06.000+0200}, title = {A Note On Equivalences Among Logics of Programs.}, url = {http://dblp.uni-trier.de/db/conf/lop/lop1981.html#MeyerT81}, volume = 131, year = 1981 }