Multi-prover Encoding Schemes and Three-prover Proof Systems

• 1 October 1996
• journal article
• Published by Elsevier in Journal of Computer and System Sciences
• Vol. 53  (2) , 251-260
• https://doi.org/10.1006/jcss.1996.0066

Abstract

Keywords

• ENCODING SCHEMES
• MULTI PROVER
• PROVER ENCODING
• PROVER PROOF SYSTEMS