Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Godoy, G., Tiwari, A., & Verma, R. M. Appl. Algebra Eng. Commun. Comput., 15(1):13-36, 2004.
Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. [link]Link  Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. [link]Paper  bibtex   
@article{journals/aaecc/GodoyTV04,
  added-at = {2019-11-06T00:00:00.000+0100},
  author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/2ef3bc34df2714d7f76c79860131b0e29/dblp},
  ee = {https://doi.org/10.1007/s00200-004-0148-6},
  interhash = {f6e36f56d5bd5408467890f1948dfbfc},
  intrahash = {ef3bc34df2714d7f76c79860131b0e29},
  journal = {Appl. Algebra Eng. Commun. Comput.},
  keywords = {dblp},
  number = 1,
  pages = {13-36},
  timestamp = {2019-11-07T11:39:26.000+0100},
  title = {Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.},
  url = {http://dblp.uni-trier.de/db/journals/aaecc/aaecc15.html#GodoyTV04},
  volume = 15,
  year = 2004
}
Downloads: 0