Completeness of the pool calculus with an open built-in theory
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 277-288
- https://doi.org/10.1007/bfb0022576
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Theorem proving using equational matings and rigid E -unificationJournal of the ACM, 1992
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoningArtificial Intelligence, 1991
- Multi-modal logic programming using equational and order-sorted logicPublished by Springer Nature ,1990
- A resolution principle for clauses with constraintsPublished by Springer Nature ,1990
- Theory links: Applications to automated theorem provingJournal of Symbolic Computation, 1987
- Krypton: A Functional Approach to Knowledge RepresentationComputer, 1983
- Automated Theorem ProvingPublished by Springer Nature ,1982
- Theorem Proving via General MatingsJournal of the ACM, 1981