Different Approaches to Proof Systems

Beyersdorff, O and Mueller, S (2010) Different Approaches to Proof Systems. In: Kratochvil, J, Li, A, Fiala, J and Kolman, P, (eds.) Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Proceedings. 7th Annual Conference, TAMC 2010, 07-11 Jun 2010, Prague, Czech Republic. Springer Verlag , 50 - 59 . ISBN 978-3-642-13561-3



  • Beyersdorff, O
  • Mueller, S
Copyright, Publisher and Additional Information: © 2010, Springer Verlag. This is an author produced version of a paper published in Theory and Applications of Models of Computation. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at www.springerlink.com
  • Published: 2010
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: 10 Dec 2012 13:02
Last Modified: 19 Dec 2022 13:24
Published Version: http://dx.doi.org/10.1007/978-3-642-13562-0_6
Status: Published
Publisher: Springer Verlag
Identification Number: https://doi.org/10.1007/978-3-642-13562-0_6