@inproceedings{ dblp2076984,
  title = {Towards Correctness of Program Transformations Through Unification and Critical Pair Computation},
  author = {Conrad Rau and Manfred Schmidt-Schauß},
  author_short = {Rau, C. and Schmidt-Schauß, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2076984},
  id = {dblp2076984},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1012-4893},
  url = {http://dx.doi.org/10.4204/EPTCS.42.4},
  conference = {UNIF},
  pages = {39-53},
  text = {UNIF 2010:39-53},
  booktitle = {Proceedings of UNIF}
}

{"_id":{"_str":"5285f86f14a66df4430014dd"},"__v":0,"authorIDs":[],"author_short":["Rau, C.","Schmidt-Schauß, M."],"bibbaseid":"rau-schmidtschau-towardscorrectnessofprogramtransformationsthroughunificationandcriticalpaircomputation-2010","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp2076984\"> </a>Towards Correctness of Program Transformations Through Unification and Critical Pair Computation.</span>\n\t<span class=\"bibbase_paper_author\">\nRau, C.; and Schmidt-Schauß, M.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2010</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of UNIF</i>, page 39-53, 2010.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('rau-schmidtschau-towardscorrectnessofprogramtransformationsthroughunificationandcriticalpaircomputation-2010', 'http://dx.doi.org/10.4204/EPTCS.42.4')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.4204/EPTCS.42.4\"\n onclick=\"javascript:log_download('rau-schmidtschau-towardscorrectnessofprogramtransformationsthroughunificationandcriticalpaircomputation-2010', 'http://dx.doi.org/10.4204/EPTCS.42.4')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Towards Correctness of Program Transformations Through Unification and Critical Pair Computation [.4]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n &nbsp;\n \n \n <a href=\"javascript:showBib('dblp2076984')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"Towards Correctness of Program Transformations Through Unification and Critical Pair Computation [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp2076984\"\n style=\"display:none\">\n <pre>@inproceedings{ dblp2076984,\n title = {Towards Correctness of Program Transformations Through Unification and Critical Pair Computation},\n author = {Conrad Rau and Manfred Schmidt-Schauß},\n author_short = {Rau, C. and Schmidt-Schauß, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2076984},\n id = {dblp2076984},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1012-4893},\n url = {http://dx.doi.org/10.4204/EPTCS.42.4},\n conference = {UNIF},\n pages = {39-53},\n text = {UNIF 2010:39-53},\n booktitle = {Proceedings of UNIF}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"rau-schmidtschau-towardscorrectnessofprogramtransformationsthroughunificationandcriticalpaircomputation-2010","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.42.4"},"role":"author","bibtex":"@inproceedings{ dblp2076984,\n title = {Towards Correctness of Program Transformations Through Unification and Critical Pair Computation},\n author = {Conrad Rau and Manfred Schmidt-Schauß},\n author_short = {Rau, C. and Schmidt-Schauß, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2076984},\n id = {dblp2076984},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1012-4893},\n url = {http://dx.doi.org/10.4204/EPTCS.42.4},\n conference = {UNIF},\n pages = {39-53},\n text = {UNIF 2010:39-53},\n booktitle = {Proceedings of UNIF}\n}","booktitle":"Proceedings of UNIF","text":"UNIF 2010:39-53","pages":"39-53","conference":"UNIF","url":"http://dx.doi.org/10.4204/EPTCS.42.4","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1012-4893","id":"dblp2076984","key":"dblp2076984","year":"2010","type":"inproceedings","bibtype":"inproceedings","author_short":["Rau, C.","Schmidt-Schauß, M."],"author":["Conrad Rau","Manfred Schmidt-Schauß"],"title":"Towards Correctness of Program Transformations Through Unification and Critical Pair Computation"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1012-4893","downloads":0,"search_terms":["towards","correctness","program","transformations","through","unification","critical","pair","computation","rau","schmidt-schauß"],"title":"Towards Correctness of Program Transformations Through Unification and Critical Pair Computation","year":2010,"dataSources":["QGM3ho5Cz3f7rLfLh"]}