The Foundation of a Generic Theorem Prover (1989)

by Lawrence C. Paulson
Venue:Journal of Automated Reasoning
Citations:458 - 49 self

Documents Related by Co-Citation

879 A formulation of the simple theory of types – A Church - 1940
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
497 The calculus of constructions – T Coquand, G P Huet - 1988
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
548 A Computational Logic – R S Boyer, J S Moore - 1979
977 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
642 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
1213 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977