Verifying proofs in constant depth

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



  • Beyersdorff, O
  • Vollmer, H
  • Datta, S
  • Mahajan, M
  • Sreenivasaiah, K
  • Scharfenberger-Fabian, G
  • Thomas, M
Copyright, Publisher and Additional Information: (c) 2011, Springer Verlag. This is an author produced version of a paper published in Proceedings MFCS 2011. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at
  • Published: 2011
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 06 Dec 2012 16:35
Last Modified: 19 Dec 2022 13:24
Published Version:
Status: Published
Publisher: Springer Verlag
Identification Number: