Reasoning about General Quantum Programs over Mixed States.

Juliana Kaizer Vizzotto Giovani Rubert Librelotto Amr Sabry

Published in: SBMF (2009)

Keyphrases

special case
neural network
automatic programming
social networks
data structure
probabilistic model
programming environment
quantum mechanics
provably correct