{"_id":"tPpp43zEABK96T7za","bibbaseid":"felgenhauer-middeldorp-prathamesh-rapp-averifiedgroundconfluencetoolforlinearvariableseparatedrewritesystemsinisabellehol-2019","authorIDs":[],"author_short":["Felgenhauer, B.","Middeldorp, A.","Prathamesh, T. V. H.","Rapp, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-09-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Middeldorp"],"firstnames":["Aart"],"suffixes":[]},{"propositions":[],"lastnames":["Prathamesh"],"firstnames":["T.","V.","H."],"suffixes":[]},{"propositions":[],"lastnames":["Rapp"],"firstnames":["Franziska"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/268196fda331ac02e8e42bc14c437043a/dblp","booktitle":"CPP","crossref":"conf/cpp/2019","editor":[{"propositions":[],"lastnames":["Mahboubi"],"firstnames":["Assia"],"suffixes":[]},{"propositions":[],"lastnames":["Myreen"],"firstnames":["Magnus","O."],"suffixes":[]}],"ee":"https://doi.org/10.1145/3293880.3294098","interhash":"c9cb1c547233eb2f5acbbae7414a0f98","intrahash":"68196fda331ac02e8e42bc14c437043a","isbn":"978-1-4503-6222-1","keywords":"dblp","pages":"132-143","publisher":"ACM","timestamp":"2019-09-26T13:20:18.000+0200","title":"A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.","url":"http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#FelgenhauerMPR19","year":"2019","bibtex":"@inproceedings{conf/cpp/FelgenhauerMPR19,\n added-at = {2019-09-25T00:00:00.000+0200},\n author = {Felgenhauer, Bertram and Middeldorp, Aart and Prathamesh, T. V. H. and Rapp, Franziska},\n biburl = {https://www.bibsonomy.org/bibtex/268196fda331ac02e8e42bc14c437043a/dblp},\n booktitle = {CPP},\n crossref = {conf/cpp/2019},\n editor = {Mahboubi, Assia and Myreen, Magnus O.},\n ee = {https://doi.org/10.1145/3293880.3294098},\n interhash = {c9cb1c547233eb2f5acbbae7414a0f98},\n intrahash = {68196fda331ac02e8e42bc14c437043a},\n isbn = {978-1-4503-6222-1},\n keywords = {dblp},\n pages = {132-143},\n publisher = {ACM},\n timestamp = {2019-09-26T13:20:18.000+0200},\n title = {A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.},\n url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#FelgenhauerMPR19},\n year = 2019\n}\n\n","author_short":["Felgenhauer, B.","Middeldorp, A.","Prathamesh, T. V. H.","Rapp, F."],"editor_short":["Mahboubi, A.","Myreen, M. O."],"key":"conf/cpp/FelgenhauerMPR19","id":"conf/cpp/FelgenhauerMPR19","bibbaseid":"felgenhauer-middeldorp-prathamesh-rapp-averifiedgroundconfluencetoolforlinearvariableseparatedrewritesystemsinisabellehol-2019","role":"author","urls":{"Link":"https://doi.org/10.1145/3293880.3294098","Paper":"http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#FelgenhauerMPR19"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.621Z","downloads":0,"keywords":["dblp"],"search_terms":["verified","ground","confluence","tool","linear","variable","separated","rewrite","systems","isabelle","hol","felgenhauer","middeldorp","prathamesh","rapp"],"title":"A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.","year":2019,"dataSources":["fYGRSD8HXJYwZPaY7"]}