Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes.

Beyersdorff, O and Sadowski, Z (2009) Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes. In: Frid, AE, Morozov, A, Rybalchenko, A and Wagner, KW, (eds.) CSR. Springer, 47 - 58 . ISBN: 978-3-642-03350-6

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Beyersdorff, O
  • Sadowski, Z
Editors:
  • Frid, AE
  • Morozov, A
  • Rybalchenko, A
  • Wagner, KW
Copyright, Publisher and Additional Information:

(c) 2009, Springer Verlag. This is an author produced version of a paper published in Computer Science - Theory and Applications; Lecture Notes in Computer Science Volume 5675. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at www.springerlink.com
Dates:
  • Published: 2009
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: 07 Mar 2013 12:43
Last Modified: 24 Oct 2016 17:09
Published Version: http://dx.doi.org/10.1007/978-3-642-03351-3
Status: Published
Publisher: Springer
Identification Number: 10.1007/978-3-642-03351-3_7
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)