Combining higher order abstract syntax with tactical theorem proving and (co)induction (2002)

Cached

Download Links

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:33 - 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