Verifying proofs in constant depth

Beyersdorff, O, Vollmer, H, Datta, S, Mahajan, M, Sreenivasaiah, K, Scharfenberger-Fabian, G and Thomas, M (2011) Verifying proofs in constant depth. In: Proceedings MFCS 2011. Mathematical Foundations of Computer Science 2011, 22 - 26 August 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
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (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: 18 Sep 2016 18:22
Published Version:
Status: Published
Publisher: Springer Verlag
Identification Number: 10.1007/978-3-642-22993-0_11


Filename: proof-systems.pdf

Share / Export