Details
| Original language | Undefined/Unknown |
|---|---|
| Pages (from-to) | 2:1-2:23 |
| Journal | ACM Trans. Comput. Theory |
| Volume | 5 |
| Issue number | 1 |
| Publication status | Published - 2013 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: ACM Trans. Comput. Theory, Vol. 5, No. 1, 2013, p. 2:1-2:23.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Verifying proofs in constant depth.
AU - Beyersdorff, Olaf
AU - Datta, Samir
AU - Krebs, Andreas
AU - Mahajan, Meena
AU - Scharfenberger-Fabian, Gido
AU - Sreenivasaiah, Karteek
AU - Thomas, Michael
AU - Vollmer, Heribert
N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2013
Y1 - 2013
U2 - 10.1145/2462896.2462898
DO - 10.1145/2462896.2462898
M3 - Article
VL - 5
SP - 2:1-2:23
JO - ACM Trans. Comput. Theory
JF - ACM Trans. Comput. Theory
IS - 1
ER -