Uniqueness of Normal Forms for Shallow Term Rewrite Systems. Radcliffe, N. R., Moraes, L. F. T., & Verma, R. M. ACM Trans. Comput. Log., 18(2):17:1-17:20, 2017.
Uniqueness of Normal Forms for Shallow Term Rewrite Systems. [link]Link  Uniqueness of Normal Forms for Shallow Term Rewrite Systems. [link]Paper  bibtex   
@article{journals/tocl/RadcliffeMV17,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Radcliffe, Nicholas R. and Moraes, Luis F. T. and Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/2c2e5d7588befd65358e040919881bdf2/dblp},
  ee = {https://doi.org/10.1145/3060144},
  interhash = {df10a9516bf8ed1fd7673f7a5406bb5e},
  intrahash = {c2e5d7588befd65358e040919881bdf2},
  journal = {ACM Trans. Comput. Log.},
  keywords = {dblp},
  number = 2,
  pages = {17:1-17:20},
  timestamp = {2018-11-07T12:18:12.000+0100},
  title = {Uniqueness of Normal Forms for Shallow Term Rewrite Systems.},
  url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#RadcliffeMV17},
  volume = 18,
  year = 2017
}

Downloads: 0