Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR07-032 | 27th March 2007 00:00

Quantum deduction rules

RSS-Feed




TR07-032
Authors: Pavel Pudlak
Publication: 29th March 2007 11:06
Downloads: 2643
Keywords: 


Abstract:

We define propositional quantum Frege proof systems and compare it
with classical Frege proof systems.



ISSN 1433-8092 | Imprint