ECCC
Electronic Colloquium on Computational Complexity
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: 136
Keywords: 


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

ISSN 1433-8092 | Imprint