Proof Systems that Take Advice

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller. Proof Systems that Take Advice. Electronic Colloquium on Computational Complexity (ECCC), 16:92, 2009. [doi]

Abstract

Abstract is missing.