Combining higher order abstract syntax with tactical theorem proving and (co)induction (2002)
by
S. J. Ambler
,
R. L. Crole
,
A. Momigliano
| Venue: | In TPHOLs ’02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics |
| Citations: | 32 - 15 self |
Document Versions
| Combining higher order abstract syntax with tactical theorem proving and (co)induction –S. J. Ambler, R. L. Crole, A. Momigliano — 2002 — In TPHOLs ’02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics |
