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
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: 13 Oct 2016 07:38
Published Version:
Status: Published
Publisher: Elsevier
Identification Number:

Share / Export