Fast Tactic-based Theorem Proving (2000)

by Jason Hickey , Aleksey Nogin
Venue:TPHOLs 2000, LNCS 1869
Citations:10 - 4 self

Documents Related by Co-Citation

929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
497 The calculus of constructions – T Coquand, G P Huet - 1988
1371 The model checker SPIN – Gerard J. Holzmann - 1997
1372 Symbolic Model Checking – K L McMillan - 1993
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
561 Introduction to Database Systems – C J Date - 2004
2900 Fast Algorithms for Mining Association Rules – Rakesh Agrawal, Ramakrishnan Srikant - 1994
860 Algorithms for Quantum Computation: Discrete Logarithms and Factoring – Peter W. Shor - 1994