Login / Signup
Quantum Proofs for Classical Theorems.
Andrew Drucker
Ronald de Wolf
Published in:
Electron. Colloquium Comput. Complex. (2009)
Keyphrases
</>
quantum computation
quantum mechanics
sequent calculus
theorem proving
quantum probability
cut elimination
decision procedures
quantum inspired
artificial intelligence
theorem prover
decision trees
information systems
proof search
channel capacity
formal proofs
learning algorithm
real time