Verifying Proofs in Constant Depth

verfasst von

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

Organisationseinheit(en)

Institut für Mikrobiologie
Institut für Theoretische Informatik

Typ

Artikel

Journal

Electron. Colloquium Comput. Complex.

Band

TR12-079

Publikationsdatum

2012

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

Elektronische Version(en)

https://eccc.weizmann.ac.il/report/2012/079 (Zugang: Unbekannt)