Transformations and Confluence for Rewrite Systems. Verma, R. M. Theor. Comput. Sci., 152(2):269-283, 1995.
Transformations and Confluence for Rewrite Systems. [link]Link  Transformations and Confluence for Rewrite Systems. [link]Paper  bibtex   
@article{journals/tcs/Verma95,
  added-at = {2018-11-02T00:00:00.000+0100},
  author = {Verma, Rakesh M.},
  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
}

Downloads: 0