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

Type

Article

Journal

ACM Trans. Comput. Theory

Volume

5

Pages

2:1-2:23

Publication date

2013

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

https://doi.org/10.1145/2462896.2462898 (Access: Unknown)
https://dblp.org/rec/journals/toct/BeyersdorffDKMSSTV13 (Access: Unknown)