Commutativity of quantum weakest preconditions.

Mingsheng Ying Jianxin Chen Yuan Feng Runyao Duan

Published in: Inf. Process. Lett. (2007)

Keyphrases

quantum computing
explanation based learning
quantum computation
quantum mechanics
quantum inspired
logic circuits
data sets
situation calculus
multiscale
neural network
databases
inference rules
particle swarm optimization
update operations
case study
search engine
quantum genetic algorithm