%0 Conference Paper %1 conf/csl/SiegW93 %A Sieg, Wilfried %A Wainer, Stanley S. %B CSL %D 1993 %E Börger, Egon %E Gurevich, Yuri %E Meinke, Karl %I Springer %K dblp %P 305-317 %T Program Transformation and Proof Transformation. %U http://dblp.uni-trier.de/db/conf/csl/csl93.html#SiegW93 %V 832 %@ 0-387-58277-0

@inproceedings{conf/csl/SiegW93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Sieg, Wilfried and Wainer, Stanley S.}, biburl = {https://www.bibsonomy.org/bibtex/2fa12e2e799bc449d56478eee0f4df73f/dblp}, booktitle = {CSL}, crossref = {conf/csl/1993}, editor = {Börger, Egon and Gurevich, Yuri and Meinke, Karl}, ee = {https://doi.org/10.1007/BFb0049339}, interhash = {f2880d5f009c9313b874efe15b724453}, intrahash = {fa12e2e799bc449d56478eee0f4df73f}, isbn = {0-387-58277-0}, keywords = {dblp}, pages = {305-317}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:10:26.000+0200}, title = {Program Transformation and Proof Transformation.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl93.html#SiegW93}, volume = 832, year = 1993 }