APA
Click to copy
Radcliffe, N. R., & Verma, R. M. (2010). Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems. In K. Lodaya & M. Mahajan (Eds.), {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India (Vol. 8, pp. 284–295). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik.
Chicago/Turabian
Click to copy
Radcliffe, Nicholas R., and Rakesh M. Verma. “Uniqueness of Normal Forms Is Decidable for Shallow Term Rewrite Systems.” In {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India, edited by Kamal Lodaya and Meena Mahajan, 8:284–295. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2010.
MLA
Click to copy
Radcliffe, Nicholas R., and Rakesh M. Verma. “Uniqueness of Normal Forms Is Decidable for Shallow Term Rewrite Systems.” {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India, edited by Kamal Lodaya and Meena Mahajan, vol. 8, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2010, pp. 284–95.
BibTeX
Click to copy
@inproceedings{radcliffe2010a,
title = {Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems},
year = {2010},
pages = {284--295},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
series = {LIPIcs},
volume = {8},
author = {Radcliffe, Nicholas R. and Verma, Rakesh M.},
editor = {Lodaya, Kamal and Mahajan, Meena},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India}
}
