Sökning: onr:"swepub:oai:DiVA.org:uu-27156" >
What you always wan...
What you always wanted to know about rigid E-unification
-
- Degtyarev, A (författare)
- Uppsala universitet
-
- Voronkov, A (författare)
- Uppsala universitet
-
(creator_code:org_t)
- KLUWER ACADEMIC PUBL, 1998
- 1998
- Engelska.
-
Ingår i: JOURNAL OF AUTOMATED REASONING. - : KLUWER ACADEMIC PUBL. - 0168-7433. ; 20:1-2, s. 47-80
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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
Nyckelord
- tableau method; equality reasoning; rigid E-unification; BASIC PARAMODULATION; EQUATIONAL MATINGS; SYSTEMS; SUPERPOSITION; LOGIC
Publikations- och innehållstyp
- vet (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas