Login / Signup
On quantum interactive proofs with short messages
Attila Pereszlényi
Published in:
CoRR (2011)
Keyphrases
</>
short messages
social media
mobile phone
computer graphics
theorem proving
graphical interface
highly interactive
neural network
website
three dimensional
video sequences
email
user friendly
theorem prover
decision procedures
quantum computation