Deciding confluence of certain term rewriting systems in polynomial time. Godoy, G., Tiwari, A., & Verma, R. M. Ann. Pure Appl. Log., 130(1-3):33-59, 2004.
Deciding confluence of certain term rewriting systems in polynomial time. [link]Link  Deciding confluence of certain term rewriting systems in polynomial time. [link]Paper  bibtex   
@article{journals/apal/GodoyTV04,
  added-at = {2020-02-21T00:00:00.000+0100},
  author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/2e71fc291eb349a807c308dbf5856b300/dblp},
  ee = {https://doi.org/10.1016/j.apal.2004.04.005},
  interhash = {1efd4b5b333a0710c08c2a1b47ce98a5},
  intrahash = {e71fc291eb349a807c308dbf5856b300},
  journal = {Ann. Pure Appl. Log.},
  keywords = {dblp},
  number = {1-3},
  pages = {33-59},
  timestamp = {2020-02-22T12:45:55.000+0100},
  title = {Deciding confluence of certain term rewriting systems in polynomial time.},
  url = {http://dblp.uni-trier.de/db/journals/apal/apal130.html#GodoyTV04},
  volume = 130,
  year = 2004
}
Downloads: 0