How to Believe a Machine-Checked Proof (1997)

by Robert Pollack
Citations:26 - 1 self

Active Bibliography

This document in subdirectoryRS/97/18/ How to Believe a Machine-Checked Proof 1 – Robert Pollack, Robert Pollack - 909
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
80 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
1111 Proof-Carrying Code – George C. Necula - 1997
734 Notions of Computation and Monads – Eugenio Moggi - 1991
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
2980 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems – R.L. Rivest, A. Shamir, L. Adleman - 1978
1884 Randomized Algorithms – Rajeev Motwani - 1995