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: |
|
Editors: |
|
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: |
|
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): | oai:eprints.whiterose.ac.uk:74777 |