Verifying Proofs in Constant Depth

authored by

Olaf Beyersdorff, Samir Datta, Andreas Krebs, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer

Organisation(s)

Institute of Microbiology
Institute of Theoretical Computer Science

Type

Article

Journal

Electron. Colloquium Comput. Complex.

Volume

TR12-079

Publication date

2012

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

https://eccc.weizmann.ac.il/report/2012/079 (Access: Unknown)