Search: onr:"swepub:oai:DiVA.org:uu-27156" >
What you always wan...
What you always wanted to know about rigid E-unification
-
- Degtyarev, A (author)
- Uppsala universitet
-
- Voronkov, A (author)
- Uppsala universitet
-
(creator_code:org_t)
- KLUWER ACADEMIC PUBL, 1998
- 1998
- English.
-
In: JOURNAL OF AUTOMATED REASONING. - : KLUWER ACADEMIC PUBL. - 0168-7433. ; 20:1-2, s. 47-80
- Related links:
-
https://urn.kb.se/re...
Abstract
Subject headings
Close
- 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
Keyword
- tableau method; equality reasoning; rigid E-unification; BASIC PARAMODULATION; EQUATIONAL MATINGS; SYSTEMS; SUPERPOSITION; LOGIC
Publication and Content Type
- vet (subject category)
- art (subject category)
Find in a library
To the university's database