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. 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
{"_id":"WDMHcQQjqEcu4CtPm","bibbaseid":"godoy-tiwari-verma-characterizingconfluencebyrewriteclosureandrightgroundtermrewritesystems-2004","author_short":["Godoy, G.","Tiwari, A.","Verma, R. M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2019-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Godoy"],"firstnames":["Guillem"],"suffixes":[]},{"propositions":[],"lastnames":["Tiwari"],"firstnames":["Ashish"],"suffixes":[]},{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"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","bibtex":"@article{journals/aaecc/GodoyTV04,\n added-at = {2019-11-06T00:00:00.000+0100},\n author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/2ef3bc34df2714d7f76c79860131b0e29/dblp},\n ee = {https://doi.org/10.1007/s00200-004-0148-6},\n interhash = {f6e36f56d5bd5408467890f1948dfbfc},\n intrahash = {ef3bc34df2714d7f76c79860131b0e29},\n journal = {Appl. Algebra Eng. Commun. Comput.},\n keywords = {dblp},\n number = 1,\n pages = {13-36},\n timestamp = {2019-11-07T11:39:26.000+0100},\n title = {Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.},\n url = {http://dblp.uni-trier.de/db/journals/aaecc/aaecc15.html#GodoyTV04},\n volume = 15,\n year = 2004\n}\n\n","author_short":["Godoy, G.","Tiwari, A.","Verma, R. M."],"key":"journals/aaecc/GodoyTV04","id":"journals/aaecc/GodoyTV04","bibbaseid":"godoy-tiwari-verma-characterizingconfluencebyrewriteclosureandrightgroundtermrewritesystems-2004","role":"author","urls":{"Link":"https://doi.org/10.1007/s00200-004-0148-6","Paper":"http://dblp.uni-trier.de/db/journals/aaecc/aaecc15.html#GodoyTV04"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["characterizing","confluence","rewrite","closure","right","ground","term","rewrite","systems","godoy","tiwari","verma"],"title":"Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.","year":2004}