Open Access
VOL. 11 | 1998 Computationally-Sound Proofs
Chapter Author(s) S. Micali
Editor(s) Johann A. Makowsky, Elena V. Ravve
Lecture Notes Logic, 1998: 214-268 (1998)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Back to Top