{"_id":"QHECnm5JLFBEhAHWu","bibbaseid":"radcliffe-verma-uniquenessofnormalformsisdecidableforshallowtermrewritesystems-2010","author_short":["Radcliffe, N. R.","Verma, R. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-30T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Radcliffe"],"firstnames":["Nicholas","R."],"suffixes":[]},{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b260d67b7642dbf96f5fb8235fdd2be2/dblp","booktitle":"FSTTCS","crossref":"conf/fsttcs/2010","editor":[{"propositions":[],"lastnames":["Lodaya"],"firstnames":["Kamal"],"suffixes":[]},{"propositions":[],"lastnames":["Mahajan"],"firstnames":["Meena"],"suffixes":[]}],"ee":"https://doi.org/10.4230/LIPIcs.FSTTCS.2010.284","interhash":"19b9d363731e5b19bfe29677edbcdffb","intrahash":"b260d67b7642dbf96f5fb8235fdd2be2","isbn":"978-3-939897-23-1","keywords":"dblp","pages":"284-295","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","series":"LIPIcs","timestamp":"2020-02-12T11:52:21.000+0100","title":"Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems.","url":"http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#RadcliffeV10","volume":"8","year":"2010","bibtex":"@inproceedings{conf/fsttcs/RadcliffeV10,\n added-at = {2018-11-30T00:00:00.000+0100},\n author = {Radcliffe, Nicholas R. and Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/2b260d67b7642dbf96f5fb8235fdd2be2/dblp},\n booktitle = {FSTTCS},\n crossref = {conf/fsttcs/2010},\n editor = {Lodaya, Kamal and Mahajan, Meena},\n ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.284},\n interhash = {19b9d363731e5b19bfe29677edbcdffb},\n intrahash = {b260d67b7642dbf96f5fb8235fdd2be2},\n isbn = {978-3-939897-23-1},\n keywords = {dblp},\n pages = {284-295},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},\n series = {LIPIcs},\n timestamp = {2020-02-12T11:52:21.000+0100},\n title = {Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems.},\n url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#RadcliffeV10},\n volume = 8,\n year = 2010\n}\n\n","author_short":["Radcliffe, N. R.","Verma, R. M."],"editor_short":["Lodaya, K.","Mahajan, M."],"key":"conf/fsttcs/RadcliffeV10","id":"conf/fsttcs/RadcliffeV10","bibbaseid":"radcliffe-verma-uniquenessofnormalformsisdecidableforshallowtermrewritesystems-2010","role":"author","urls":{"Link":"https://doi.org/10.4230/LIPIcs.FSTTCS.2010.284","Paper":"http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#RadcliffeV10"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["uniqueness","normal","forms","decidable","shallow","term","rewrite","systems","radcliffe","verma"],"title":"Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems.","year":2010}