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 Theoretical Computer Science

External Organisation(s)

TWT GmbH Science & Innovation
Chennai Mathematical Institute
University of Greifswald

Type

Conference contribution

Pages

84-95

Publication date

2011

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

https://doi.org/10.1007/978-3-642-22993-0_11 (Access: Unknown)
https://dblp.org/rec/journals/eccc/BeyersdorffDKMSSTV12 (Access: Unknown)
https://dblp.org/rec/conf/mfcs/BeyersdorffDMSSTV11 (Access: Unknown)