Generalization and reuse of tactic proofs
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Tactic theorem proving with refinement-tree proofs and metavariablesPublished by Springer Nature ,1994
- A framework for defining logicsJournal of the ACM, 1993
- Implementing tactics and tacticals in a higher-order logic programming languageJournal of Automated Reasoning, 1993
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- Tactical theorem proving in program verificationPublished by Springer Nature ,1990