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)