%0 Conference Paper %1 conf/icalp/Zakharov98 %A Zakharov, Vladimir A. %B ICALP %D 1998 %E Larsen, Kim Guldstrand %E Skyum, Sven %E Winskel, Glynn %I Springer %K dblp %P 247-258 %T An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs. %U http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#Zakharov98 %V 1443 %@ 3-540-64781-3

@inproceedings{conf/icalp/Zakharov98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Zakharov, Vladimir A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/226443bd2f015a5815b053977a1c6783a/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1998}, editor = {Larsen, Kim Guldstrand and Skyum, Sven and Winskel, Glynn}, ee = {https://doi.org/10.1007/BFb0055058}, interhash = {b626f57943d0eb7aa70233d3a4a96b9b}, intrahash = {26443bd2f015a5815b053977a1c6783a}, isbn = {3-540-64781-3}, keywords = {dblp}, pages = {247-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:58:38.000+0200}, title = {An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#Zakharov98}, volume = 1443, year = 1998 }