Some independence results for equational unification. Otto, F., Narendran, P., & Dougherty, D. J. 1995. bibtex @conference{ c_rta95,
author = {Friedrich Otto and Paliath Narendran and Daniel
J. Dougherty},
title = {Some independence results for equational
unification},
booktitle = {Proc. Sixth Intl. Conf. on Rewriting Techniques
and Applications (RTA 1995)},
pages = {367--381},
year = {1995},
volume = {914},
series = {Lecture Notes in Computer Science},
abstract = {}
}
Downloads: 0
{"_id":{"_str":"51f6934359ced8df44000e3a"},"__v":1,"authorIDs":[],"author_short":["Otto, F.","Narendran, P.","Dougherty, D.<nbsp>J."],"bibbaseid":"otto-narendran-dougherty-someindependenceresultsforequationalunification-1995","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"c_rta95\"> </a>Some independence results for equational unification.</span>\n\t<span class=\"bibbase_paper_author\">\nOtto, F.; Narendran, P.; and Dougherty, D. J.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1995</span>. -->\n</span>\n\n\n\n 1995.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('c_rta95')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"Some independence results for equational unification [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_c_rta95\"\n style=\"display:none\">\n <pre>@conference{ c_rta95,\n author = {Friedrich Otto and Paliath Narendran and Daniel\n J. Dougherty},\n title = {Some independence results for equational\n unification},\n booktitle = {Proc. Sixth Intl. Conf. on Rewriting Techniques\n and Applications (RTA 1995)},\n pages = {367--381},\n year = {1995},\n volume = {914},\n series = {Lecture Notes in Computer Science},\n abstract = {}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"otto-narendran-dougherty-someindependenceresultsforequationalunification-1995","urls":{},"role":"author","abstract":"","author":["Otto, Friedrich","Narendran, Paliath","Dougherty, Daniel J."],"author_short":["Otto, F.","Narendran, P.","Dougherty, D.<nbsp>J."],"bibtex":"@conference{ c_rta95,\n author = {Friedrich Otto and Paliath Narendran and Daniel\n J. Dougherty},\n title = {Some independence results for equational\n unification},\n booktitle = {Proc. Sixth Intl. Conf. on Rewriting Techniques\n and Applications (RTA 1995)},\n pages = {367--381},\n year = {1995},\n volume = {914},\n series = {Lecture Notes in Computer Science},\n abstract = {}\n}","bibtype":"conference","booktitle":"Proc. Sixth Intl. Conf. on Rewriting Techniques and Applications (RTA 1995)","id":"c_rta95","key":"c_rta95","pages":"367--381","series":"Lecture Notes in Computer Science","title":"Some independence results for equational unification","type":"conference","volume":"914","year":"1995"},"bibtype":"conference","biburl":"http://web.cs.wpi.edu/~dd/publications/index.bib","downloads":0,"search_terms":["independence","results","equational","unification","otto","narendran","dougherty"],"title":"Some independence results for equational unification","year":1995,"dataSources":["HB5RrPb3Y5aikRoLH"]}