An Improved General E-unification Method

ASU Author/Contributor (non-ASU co-authors, if there are any, appear on document)
Patricia Johann Ph.D, Professor (Creator)
Appalachian State University (ASU )
Web Site:

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 term of transformations on systems, building upon and refining results of Gallier and Snyder.

Additional Information

Dougherty, Daniel J; Johann; Patricia.(1992) "An Improved General E-unification Method". Journal of Symbolic Computation 14 (1992), pp. 303 - 320. Published October 1992. ISSN: 0747-7171
Language: English
Date: 1992
paramodulation, E-unification, E-unifer

Email this document to