Uniqueness of Normal Forms for Shallow Term Rewrite Systems


Journal article


Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma
CoRR, abs/1607.00431, 2016

Cite

Cite

APA   Click to copy
Radcliffe, N. R., Moraes, L. F. T., & Verma, R. M. (2016). Uniqueness of Normal Forms for Shallow Term Rewrite Systems. CoRR, abs/1607.00431.


Chicago/Turabian   Click to copy
Radcliffe, Nicholas R., Luis F. T. Moraes, and Rakesh M. Verma. “Uniqueness of Normal Forms for Shallow Term Rewrite Systems.” CoRR abs/1607.00431 (2016).


MLA   Click to copy
Radcliffe, Nicholas R., et al. “Uniqueness of Normal Forms for Shallow Term Rewrite Systems.” CoRR, vol. abs/1607.00431, 2016.


BibTeX   Click to copy

@article{radcliffe2016a,
  title = {Uniqueness of Normal Forms for Shallow Term Rewrite Systems},
  year = {2016},
  journal = {CoRR},
  volume = {abs/1607.00431},
  author = {Radcliffe, Nicholas R. and Moraes, Luis F. T. and Verma, Rakesh M.}
}