A complete connection calculus with rigid E-unification
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 152-166
- https://doi.org/10.1007/bfb0021970
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Completeness of the pool calculus with an open built-in theoryPublished by Springer Nature ,2005
- KoMeTPublished by Springer Nature ,1994
- Improving transformation systems for general E-unificationPublished by Springer Nature ,1993
- SETHEO: A high-performance theorem proverJournal of Automated Reasoning, 1992
- Theorem proving using equational matings and rigid E -unificationJournal of the ACM, 1992
- Goal directed strategies for paramodulationPublished by Springer Nature ,1991
- Automated Theorem ProvingPublished by Springer Nature ,1982
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968