Verifying Proofs in Constant Depth.

verfasst von

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

Organisationseinheit(en)

Institut für Theoretische Informatik

Externe Organisation(en)

TWT GmbH Science & Innovation
Chennai Mathematical Institute
Universität Greifswald

Typ

Aufsatz in Konferenzband

Seiten

84-95

Publikationsdatum

2011

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

Elektronische Version(en)

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