uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
What you always wanted to know about rigid E-unification
Uppsala University.
Uppsala University.
1998 (English)In: JOURNAL OF AUTOMATED REASONING, ISSN 0168-7433, Vol. 20, no 1-2, 47-80 p.Article in journal (Other scientific) Published
Abstract [en]

This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods was propose

Place, publisher, year, edition, pages
KLUWER ACADEMIC PUBL , 1998. Vol. 20, no 1-2, 47-80 p.
Keyword [en]
tableau method; equality reasoning; rigid E-unification; BASIC PARAMODULATION; EQUATIONAL MATINGS; SYSTEMS; SUPERPOSITION; LOGIC
URN: urn:nbn:se:uu:diva-27156OAI: oai:DiVA.org:uu-27156DiVA: diva2:55050
Addresses: Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-14

Open Access in DiVA

No full text

By organisation
Uppsala University

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 158 hits
ReferencesLink to record
Permanent link

Direct link