ForschungPublikationen
Detailansicht

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 Mikrobiologie
Institut für Theoretische Informatik
Typ
Aufsatz in Konferenzband
Seiten
84-95
Publikationsdatum
2011
Publikationsstatus
Veröffentlicht
Peer-reviewed
Ja
Elektronische Version(en)
https://dblp.org/rec/journals/eccc/BeyersdorffDKMSSTV12 (Zugang: Unbekannt)
https://doi.org/10.1007/978-3-642-22993-0_11 (Zugang: Unbekannt)
https://dblp.org/rec/conf/mfcs/BeyersdorffDMSSTV11 (Zugang: Unbekannt)