Items where authors include "Scharfenberger-Fabian, G"
Jump to: Article | Proceedings Paper
Number of items: 2.
Article
Beyersdorff, O, Datta, S, Krebs, A et al. (5 more authors) (2013) Verifying proofs in constant depth. ACM Transactions on Computation Theory (TOCT), 5 (1). 2. ISSN 1942-3454
Proceedings Paper
Beyersdorff, O, Vollmer, H, Datta, S et al. (4 more authors) (2011) Verifying proofs in constant depth. In: Proceedings MFCS 2011. Mathematical Foundations of Computer Science 2011, 22-26 Aug 2011, Warsaw, Poland. Springer Verlag , 84 - 95 . ISBN 978-3-642-22992-3