The TPS theorem proving system
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Presenting intuitive deductions via symmetric simplificationPublished by Springer Nature ,1990
- On connections and higher-order logicJournal of Automated Reasoning, 1989
- A compact representation of proofsStudia Logica, 1987
- Theorem Proving via General MatingsJournal of the ACM, 1981
- A unification algorithm for typed
- Resolution in type theoryThe Journal of Symbolic Logic, 1971
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940