Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. Nagele, J., Felgenhauer, B., & Middeldorp, A. In RTA, volume 36, of LIPIcs, pages 257-268, 2015. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Link
Paper bibtex @inproceedings{conf/rta/NageleFM15,
added-at = {2018-11-30T00:00:00.000+0100},
author = {Nagele, Julian and Felgenhauer, Bertram and Middeldorp, Aart},
biburl = {https://www.bibsonomy.org/bibtex/2c0fa2290af42875457f41648fdfcc764/dblp},
booktitle = {RTA},
crossref = {conf/rta/2015},
editor = {Fernández, Maribel},
ee = {https://doi.org/10.4230/LIPIcs.RTA.2015.257},
interhash = {459262ec928ee63c96ecaabaee43de56},
intrahash = {c0fa2290af42875457f41648fdfcc764},
isbn = {978-3-939897-85-9},
keywords = {dblp},
pages = {257-268},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
timestamp = {2020-02-12T11:50:09.000+0100},
title = {Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.},
url = {http://dblp.uni-trier.de/db/conf/rta/rta2015.html#NageleFM15},
volume = 36,
year = 2015
}
Downloads: 0
{"_id":"HDzj4KdS4tqDaNLqN","bibbaseid":"nagele-felgenhauer-middeldorp-improvingautomaticconfluenceanalysisofrewritesystemsbyredundantrules-2015","authorIDs":[],"author_short":["Nagele, J.","Felgenhauer, B.","Middeldorp, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-30T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Nagele"],"firstnames":["Julian"],"suffixes":[]},{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Middeldorp"],"firstnames":["Aart"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c0fa2290af42875457f41648fdfcc764/dblp","booktitle":"RTA","crossref":"conf/rta/2015","editor":[{"propositions":[],"lastnames":["Fernández"],"firstnames":["Maribel"],"suffixes":[]}],"ee":"https://doi.org/10.4230/LIPIcs.RTA.2015.257","interhash":"459262ec928ee63c96ecaabaee43de56","intrahash":"c0fa2290af42875457f41648fdfcc764","isbn":"978-3-939897-85-9","keywords":"dblp","pages":"257-268","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","series":"LIPIcs","timestamp":"2020-02-12T11:50:09.000+0100","title":"Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.","url":"http://dblp.uni-trier.de/db/conf/rta/rta2015.html#NageleFM15","volume":"36","year":"2015","bibtex":"@inproceedings{conf/rta/NageleFM15,\n added-at = {2018-11-30T00:00:00.000+0100},\n author = {Nagele, Julian and Felgenhauer, Bertram and Middeldorp, Aart},\n biburl = {https://www.bibsonomy.org/bibtex/2c0fa2290af42875457f41648fdfcc764/dblp},\n booktitle = {RTA},\n crossref = {conf/rta/2015},\n editor = {Fernández, Maribel},\n ee = {https://doi.org/10.4230/LIPIcs.RTA.2015.257},\n interhash = {459262ec928ee63c96ecaabaee43de56},\n intrahash = {c0fa2290af42875457f41648fdfcc764},\n isbn = {978-3-939897-85-9},\n keywords = {dblp},\n pages = {257-268},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},\n series = {LIPIcs},\n timestamp = {2020-02-12T11:50:09.000+0100},\n title = {Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.},\n url = {http://dblp.uni-trier.de/db/conf/rta/rta2015.html#NageleFM15},\n volume = 36,\n year = 2015\n}\n\n","author_short":["Nagele, J.","Felgenhauer, B.","Middeldorp, A."],"editor_short":["Fernández, M."],"key":"conf/rta/NageleFM15","id":"conf/rta/NageleFM15","bibbaseid":"nagele-felgenhauer-middeldorp-improvingautomaticconfluenceanalysisofrewritesystemsbyredundantrules-2015","role":"author","urls":{"Link":"https://doi.org/10.4230/LIPIcs.RTA.2015.257","Paper":"http://dblp.uni-trier.de/db/conf/rta/rta2015.html#NageleFM15"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.797Z","downloads":0,"keywords":["dblp"],"search_terms":["improving","automatic","confluence","analysis","rewrite","systems","redundant","rules","nagele","felgenhauer","middeldorp"],"title":"Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.","year":2015,"dataSources":["fYGRSD8HXJYwZPaY7"]}