An improved general $E$-unification method. Dougherty, D. J.\ & Johann, P. Journal of Symbolic Computation, 14(4):303--320, 1992.
Paper abstract bibtex A generalization of Paramodulation is defined and shown to lead to a complete E-unification method for arbitrary equational theories E. The method is defined in terms of transformations on systems, building upon and refining results of Gallier and Snyder.
@article{ a_jsc92,
author = {Daniel J.\ Dougherty and Patricia Johann},
title = {An improved general ${E}$-unification method},
journal = {Journal of Symbolic Computation},
volume = {14},
number = {4},
pages = {303--320},
year = {1992},
issn = {0747-7171},
abstract = {A generalization of Paramodulation is defined
and shown to lead to a complete E-unification
method for arbitrary equational theories E. The
method is defined in terms of transformations
on systems, building upon and refining results
of Gallier and Snyder. },
url = {jsc92.pdf}
}
Downloads: 0
{"_id":{"_str":"51f6934359ced8df44000e47"},"__v":1,"authorIDs":[],"author_short":["Dougherty, D.<nbsp>J.\\","Johann, P."],"bibbaseid":"dougherty-johann-animprovedgeneraleunificationmethod-1992","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"a_jsc92\"> </a>An improved general $E$-unification method.</span>\n\t<span class=\"bibbase_paper_author\">\nDougherty, D. J.\\; and Johann, P.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1992</span>. -->\n</span>\n\n\n\n<i>Journal of Symbolic Computation</i>,\n\n14(4):303--320.\n\n 1992.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('dougherty-johann-animprovedgeneraleunificationmethod-1992', 'http://web.cs.wpi.edu/~dd/publications/jsc92.pdf')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://web.cs.wpi.edu/~dd/publications/jsc92.pdf\"\n onclick=\"javascript:log_download('dougherty-johann-animprovedgeneraleunificationmethod-1992', 'http://web.cs.wpi.edu/~dd/publications/jsc92.pdf')\">\n <img src=\"http://bibbase.org/img/filetypes/pdf.png\"\n\t alt=\"An improved general $E$-unification method [.pdf]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('a_jsc92')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"An improved general $E$-unification method [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 <a class=\"bibbase_abstract_link bibbase link\"\n href=\"javascript:showAbstract('a_jsc92')\">\n Abstract\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_a_jsc92\"\n style=\"display:none\">\n <pre>@article{ a_jsc92,\n author = {Daniel J.\\ Dougherty and Patricia Johann},\n title = {An improved general ${E}$-unification method},\n journal = {Journal of Symbolic Computation},\n volume = {14},\n number = {4},\n pages = {303--320},\n year = {1992},\n issn = {0747-7171},\n abstract = {A generalization of Paramodulation is defined\n and shown to lead to a complete E-unification\n method for arbitrary equational theories E. The\n method is defined in terms of transformations\n on systems, building upon and refining results\n of Gallier and Snyder. },\n url = {jsc92.pdf}\n}</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" id=\"abstract_a_jsc92\"\n style=\"display:none\">\n A generalization of Paramodulation is defined and shown to lead to a complete E-unification method for arbitrary equational theories E. The method is defined in terms of transformations on systems, building upon and refining results of Gallier and Snyder.\n</div>\n\n\n</div>\n","downloads":0,"bibbaseid":"dougherty-johann-animprovedgeneraleunificationmethod-1992","urls":{"Paper":"http://web.cs.wpi.edu/~dd/publications/jsc92.pdf"},"role":"author","abstract":"A generalization of Paramodulation is defined and shown to lead to a complete E-unification method for arbitrary equational theories E. The method is defined in terms of transformations on systems, building upon and refining results of Gallier and Snyder.","author":["Dougherty, Daniel J.\\","Johann, Patricia"],"author_short":["Dougherty, D.<nbsp>J.\\","Johann, P."],"bibtex":"@article{ a_jsc92,\n author = {Daniel J.\\ Dougherty and Patricia Johann},\n title = {An improved general ${E}$-unification method},\n journal = {Journal of Symbolic Computation},\n volume = {14},\n number = {4},\n pages = {303--320},\n year = {1992},\n issn = {0747-7171},\n abstract = {A generalization of Paramodulation is defined\n and shown to lead to a complete E-unification\n method for arbitrary equational theories E. The\n method is defined in terms of transformations\n on systems, building upon and refining results\n of Gallier and Snyder. },\n url = {jsc92.pdf}\n}","bibtype":"article","id":"a_jsc92","issn":"0747-7171","journal":"Journal of Symbolic Computation","key":"a_jsc92","number":"4","pages":"303--320","title":"An improved general $E$-unification method","type":"article","url":"jsc92.pdf","volume":"14","year":"1992"},"bibtype":"article","biburl":"http://web.cs.wpi.edu/~dd/publications/index.bib","downloads":0,"search_terms":["improved","general","unification","method","dougherty","johann"],"title":"An improved general $E$-unification method","year":1992,"dataSources":["HB5RrPb3Y5aikRoLH"]}