Proof systems that take advice

Beyersdorff, O, Koebler, J and Mueller, S (2011) Proof systems that take advice. Information and Computation, 209 (3). 320 - 332 . ISSN 0890-5401

Abstract

Metadata

Authors/Creators:
  • Beyersdorff, O
  • Koebler, J
  • Mueller, S
Keywords: Computational complexity, Proof systems, Advice, Instance complexity, Polynomially bounded proof systems, Optimal proof systems
Dates:
  • Published: March 2011
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 07 Aug 2012 12:22
Last Modified: 04 Nov 2016 02:10
Published Version: http://dx.doi.org/10.1016/j.ic.2010.11.006
Status: Published
Publisher: Elsevier
Identification Number: https://doi.org/10.1016/j.ic.2010.11.006

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics