{"_id":"9tAJS3WAd3qLJhPWF","bibbaseid":"verma-transformationsandconfluenceforrewritesystems-1995","author_short":["Verma, R. M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-11-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2f3706dcdad15f86fce0226714863af55/dblp","ee":"https://doi.org/10.1016/0304-3975(94)00255-0","interhash":"bdae04f611942ea76411a2638eb56162","intrahash":"f3706dcdad15f86fce0226714863af55","journal":"Theor. Comput. Sci.","keywords":"dblp","number":"2","pages":"269-283","timestamp":"2018-11-03T12:34:45.000+0100","title":"Transformations and Confluence for Rewrite Systems.","url":"http://dblp.uni-trier.de/db/journals/tcs/tcs152.html#Verma95","volume":"152","year":"1995","bibtex":"@article{journals/tcs/Verma95,\n added-at = {2018-11-02T00:00:00.000+0100},\n author = {Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/2f3706dcdad15f86fce0226714863af55/dblp},\n ee = {https://doi.org/10.1016/0304-3975(94)00255-0},\n interhash = {bdae04f611942ea76411a2638eb56162},\n intrahash = {f3706dcdad15f86fce0226714863af55},\n journal = {Theor. Comput. Sci.},\n keywords = {dblp},\n number = 2,\n pages = {269-283},\n timestamp = {2018-11-03T12:34:45.000+0100},\n title = {Transformations and Confluence for Rewrite Systems.},\n url = {http://dblp.uni-trier.de/db/journals/tcs/tcs152.html#Verma95},\n volume = 152,\n year = 1995\n}\n\n","author_short":["Verma, R. M."],"key":"journals/tcs/Verma95","id":"journals/tcs/Verma95","bibbaseid":"verma-transformationsandconfluenceforrewritesystems-1995","role":"author","urls":{"Link":"https://doi.org/10.1016/0304-3975(94)00255-0","Paper":"http://dblp.uni-trier.de/db/journals/tcs/tcs152.html#Verma95"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["transformations","confluence","rewrite","systems","verma"],"title":"Transformations and Confluence for Rewrite Systems.","year":1995}