Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of generalized first-order formulas -- One-message statistical Zero-Knowledge Proofs and space-bounded verifier...”