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.
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. [link]Link  Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. [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