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)
- Institution
- Appalachian State University (ASU )
- Web Site: https://library.appstate.edu/
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.
An Improved General E-unification Method
PDF (Portable Document Format)
348 KB
Created on 4/25/2016
Views: 1717
Additional Information
- Publication
- 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
- Keywords
- paramodulation, E-unification, E-unifer