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 Theoretische Informatik

Typ

Artikel

Journal

ACM Trans. Comput. Theory

Band

5

Seiten

2:1-2:23

Publikationsdatum

2013

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

Elektronische Version(en)

https://doi.org/10.1145/2462896.2462898 (Zugang: Unbekannt)
https://dblp.org/rec/journals/toct/BeyersdorffDKMSSTV13 (Zugang: Unbekannt)