Quantum Hoare Type Theory.

Published in: CoRR (2020)

Keyphrases

quantum computing
quantum mechanics
theoretical framework
computational model
quantum inspired
formal theory
real time
high speed
decision theory
website
hidden markov models
multi agent
case study
low power
decision making
learning algorithm
databases
data sets