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



  • Beyersdorff, O
  • Koebler, J
  • Mueller, S
Keywords: Computational complexity, Proof systems, Advice, Instance complexity, Polynomially bounded proof systems, Optimal proof systems
  • Published: March 2011
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (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:
Status: Published
Publisher: Elsevier
Identification Number:

Download not available

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

Share / Export