Unique Normal Forms and Confluence of Rewrite Systems: Persistence. Verma, R. M. In IJCAI, pages 362-370, 1995. Morgan Kaufmann.
Unique Normal Forms and Confluence of Rewrite Systems: Persistence. [pdf]Link  Unique Normal Forms and Confluence of Rewrite Systems: Persistence. [link]Paper  bibtex   
@inproceedings{conf/ijcai/Verma95,
  added-at = {2019-08-20T00:00:00.000+0200},
  author = {Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/29b463605df9de9d8954998b3c6ce9b4c/dblp},
  booktitle = {IJCAI},
  crossref = {conf/ijcai/1995},
  ee = {http://ijcai.org/Proceedings/95-1/Papers/048.pdf},
  interhash = {474d61e56e3df0471844bb7fd72340d9},
  intrahash = {9b463605df9de9d8954998b3c6ce9b4c},
  keywords = {dblp},
  pages = {362-370},
  publisher = {Morgan Kaufmann},
  timestamp = {2019-08-21T11:48:23.000+0200},
  title = {Unique Normal Forms and Confluence of Rewrite Systems: Persistence.},
  url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#Verma95},
  year = 1995
}
Downloads: 0