Proof rules for purely quantum programs

Yuan Feng Runyao Duan Zheng-Feng Ji Mingsheng Ying

Published in: CoRR (2005)

Keyphrases

logical rules
theorem proving
association rules
decision rules
rule sets
production rules
automatic programming
quantum computation
databases
neural network
information systems
normal logic programs
proof theoretic
imperative programs