Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style
icon Submit Paper


RSS-Feed
REPORTS > DETAIL:

Paper:

TR07-032 | 27th March 2007 00:00

Quantum deduction rules

Contact
Add Comment
RSS-Feed




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


Abstract:

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


ISSN 1433-8092 | Imprint