Automatically synthesized term denotation predicates: A proof aid
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A correctness model for pipelined microprocessorsPublished by Springer Nature ,1995
- Implementation and Use of Annotations in HOLPublished by Elsevier ,1993
- A Note on Interactive Theorem Proving with Theorem Continuation FunctionsPublished by Elsevier ,1993
- A Practical Approach to Feature SelectionPublished by Elsevier ,1992
- Towards Inductive Generalisation in Higher Order LogicPublished by Elsevier ,1992