Verifying Proofs in Constant Depth.

authored by: Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer
Organisation(s): Institute of Microbiology
Institute of Theoretical Computer Science
Type: Conference contribution
Pages: 84-95
Publication date: 2011
Publication status: Published
Peer reviewed: Yes
Electronic version(s): https://dblp.org/rec/journals/eccc/BeyersdorffDKMSSTV12 (Access: Unknown)
https://doi.org/10.1007/978-3-642-22993-0_11 (Access: Unknown)
https://dblp.org/rec/conf/mfcs/BeyersdorffDMSSTV11 (Access: Unknown)