@inproceedings{DBLP:conf/calco/AcetoGIMR13,
  author    = {Luca Aceto and
               Eugen{-}Ioan Goriac and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Mohammad Reza Mousavi and
               Michel A. Reniers},
  title     = {Exploiting Algebraic Laws to Improve Mechanized Axiomatizations},
  booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  pages     = {36--50},
  year      = {2013},
  crossref  = {DBLP:conf/calco/2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7\_5},
  doi       = {10.1007/978-3-642-40206-7\_5},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/AcetoGIMR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ee5979mXLaq6z5hXy","bibbaseid":"aceto-goriac-inglfsdttir-mousavi-reniers-exploitingalgebraiclawstoimprovemechanizedaxiomatizations-2013","downloads":0,"creationDate":"2019-03-14T12:11:49.321Z","title":"Exploiting Algebraic Laws to Improve Mechanized Axiomatizations","author_short":["Aceto, L.","Goriac, E.","Ingólfsdóttir, A.","Mousavi, M. R.","Reniers, M. A."],"year":2013,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Eugen-Ioan"],"propositions":[],"lastnames":["Goriac"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Mohammad","Reza"],"propositions":[],"lastnames":["Mousavi"],"suffixes":[]},{"firstnames":["Michel","A."],"propositions":[],"lastnames":["Reniers"],"suffixes":[]}],"title":"Exploiting Algebraic Laws to Improve Mechanized Axiomatizations","booktitle":"Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings","pages":"36–50","year":"2013","crossref":"DBLP:conf/calco/2013","url":"https://doi.org/10.1007/978-3-642-40206-7_5","doi":"10.1007/978-3-642-40206-7_5","timestamp":"Wed, 24 May 2017 08:30:19 +0200","biburl":"https://dblp.org/rec/bib/conf/calco/AcetoGIMR13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/calco/AcetoGIMR13,\n author = {Luca Aceto and\n Eugen{-}Ioan Goriac and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Mohammad Reza Mousavi and\n Michel A. Reniers},\n title = {Exploiting Algebraic Laws to Improve Mechanized Axiomatizations},\n booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,\n {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},\n pages = {36--50},\n year = {2013},\n crossref = {DBLP:conf/calco/2013},\n url = {https://doi.org/10.1007/978-3-642-40206-7\\_5},\n doi = {10.1007/978-3-642-40206-7\\_5},\n timestamp = {Wed, 24 May 2017 08:30:19 +0200},\n biburl = {https://dblp.org/rec/bib/conf/calco/AcetoGIMR13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Goriac, E.","Ingólfsdóttir, A.","Mousavi, M. R.","Reniers, M. A."],"key":"DBLP:conf/calco/AcetoGIMR13","id":"DBLP:conf/calco/AcetoGIMR13","bibbaseid":"aceto-goriac-inglfsdttir-mousavi-reniers-exploitingalgebraiclawstoimprovemechanizedaxiomatizations-2013","role":"author","urls":{"Paper":"https://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","mousavi","reniers"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}