Login / Signup
Quantum Proofs for Classical Theorems
Andrew Drucker
Ronald de Wolf
Published in:
CoRR (2009)
Keyphrases
</>
quantum computation
quantum mechanics
sequent calculus
neural network
cut elimination
theorem prover
theorem proving
social networks
image processing
web services
image sequences
linear logic
digital topology
proof search