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, 7 - 11 June 2010, Prague, Czech Republic. Springer Verlag , 50 - 59 . ISBN 978-3-642-13561-3

Abstract

Metadata

Authors/Creators:
  • 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
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: 10 Dec 2012 13:02
Last Modified: 21 Sep 2016 14:30
Published Version: http://dx.doi.org/10.1007/978-3-642-13562-0_6
Status: Published
Publisher: Springer Verlag
Identification Number: 10.1007/978-3-642-13562-0_6

Download

Filename: TAMC-10-Seb.pdf

Share / Export

Statistics