%0 Conference Paper %1 conf/rta/NageleFM15 %A Nagele, Julian %A Felgenhauer, Bertram %A Middeldorp, Aart %B RTA %D 2015 %E Fernández, Maribel %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 257-268 %T Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. %U http://dblp.uni-trier.de/db/conf/rta/rta2015.html#NageleFM15 %V 36 %@ 978-3-939897-85-9

@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 }