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]

Authors

Olaf Beyersdorff

This author has not been identified. Look up 'Olaf Beyersdorff' in Google

Johannes Köbler

This author has not been identified. Look up 'Johannes Köbler' in Google

Sebastian Müller

This author has not been identified. Look up 'Sebastian Müller' in Google