Three Tactic Theorem Proving (1999)

Cached

Download Links

by Don Syme
Venue:In Theorem Proving in Higher Order Logics, TPHOLs '99
Citations:7 - 0 self

Documents Related by Co-Citation

81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
9 On the implementation of an extensible declarative proof language – V Zammit - 1999
729 L.C.: Isabelle/Hol: a Proof Assistant for Higher-Order Logic – T Nipkow, Paulson - 2004
567 Untersuchungen ├╝ber das logische Schlie├čen – G Gentzen - 1935
501 Symbolic Model Checking: An Approach to the State Explosion Problem – K L McMillan - 1993
851 A formulation of the simple theory of types – Alonzo Church - 1940
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
264 Computer-Aided Reasoning: An Approach – M Kaufmann, P Monolios, J S Moore - 2000
130 Edinburgh LCF: A mechanised logic of computation – M Gordon, R Milner, C Wadsworth - 1979