Open Access
VOL. 11 | 1998 Computationally-Sound Proofs
S. Micali

Editor(s) Johann A. Makowsky, Elena V. Ravve

Lecture Notes Logic, 1998: 214-268 (1998)

Abstract

No abstract available

Information

Published: 1 January 1998
First available in Project Euclid: 23 February 2009

zbMATH: 0902.03026
MathSciNet: MR1678362

Rights: Copyright © 1998, Association for Symbolic Logic

Back to Top