@inproceedings{ dblp2211524,
  title = {Exploiting Algebraic Laws to Improve Mechanized Axiomatizations},
  author = {Luca Aceto and Eugen-Ioan Goriac and Anna Ingólfsdóttir and Mohammad Reza Mousavi and Michel A. Reniers},
  author_short = {Aceto, L. and Goriac, E. and Ingólfsdóttir, A. and Reza Mousavi, M. and Reniers, M. A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2211524},
  id = {dblp2211524},
  biburl = {http://www.dblp.org/rec/bibtex/conf/calco/AcetoGIMR13},
  url = {http://dx.doi.org/10.1007/978-3-642-40206-7_5},
  conference = {CALCO},
  pages = {36-50},
  text = {CALCO 2013:36-50},
  booktitle = {Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO)}
}

{"_id":"LhMsxZM4tDKbp9xZ2","bibbaseid":"aceto-goriac-inglfsdttir-rezamousavi-reniers-exploitingalgebraiclawstoimprovemechanizedaxiomatizations-2013","downloads":0,"creationDate":"2016-02-18T15:10:12.116Z","title":"Exploiting Algebraic Laws to Improve Mechanized Axiomatizations","author_short":["Aceto, L.","Goriac, E.","Ingólfsdóttir, A.","Reza Mousavi, M.","Reniers, M. A."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/calco/AcetoGIMR13","bibdata":{"title":"Exploiting Algebraic Laws to Improve Mechanized Axiomatizations","author":["Luca Aceto","Eugen-Ioan Goriac","Anna Ingólfsdóttir","Mohammad Reza Mousavi","Michel A. Reniers"],"author_short":["Aceto, L.","Goriac, E.","Ingólfsdóttir, A.","Reza Mousavi, M.","Reniers, M. A."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2211524","id":"dblp2211524","biburl":"http://www.dblp.org/rec/bibtex/conf/calco/AcetoGIMR13","url":"http://dx.doi.org/10.1007/978-3-642-40206-7_5","conference":"CALCO","pages":"36-50","text":"CALCO 2013:36-50","booktitle":"Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO)","bibtex":"@inproceedings{ dblp2211524,\n title = {Exploiting Algebraic Laws to Improve Mechanized Axiomatizations},\n author = {Luca Aceto and Eugen-Ioan Goriac and Anna Ingólfsdóttir and Mohammad Reza Mousavi and Michel A. Reniers},\n author_short = {Aceto, L. and Goriac, E. and Ingólfsdóttir, A. and Reza Mousavi, M. and Reniers, M. A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2211524},\n id = {dblp2211524},\n biburl = {http://www.dblp.org/rec/bibtex/conf/calco/AcetoGIMR13},\n url = {http://dx.doi.org/10.1007/978-3-642-40206-7_5},\n conference = {CALCO},\n pages = {36-50},\n text = {CALCO 2013:36-50},\n booktitle = {Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO)}\n}","bibbaseid":"aceto-goriac-inglfsdttir-rezamousavi-reniers-exploitingalgebraiclawstoimprovemechanizedaxiomatizations-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-40206-7_5"},"downloads":0},"search_terms":["exploiting","algebraic","laws","improve","mechanized","axiomatizations","aceto","goriac","ingólfsdóttir","reza mousavi","reniers"],"keywords":[],"authorIDs":[],"dataSources":["bnsogq7dSMTCf5msJ"]}