Quantum deduction rules

Pavel Pudlák. Quantum deduction rules. Electronic Colloquium on Computational Complexity (ECCC), 14(032), 2007. [doi]

Abstract

Abstract is missing.