Coupling Techniques for Reasoning about Quantum Programs.

Gilles Barthe Justin Hsu Mingsheng Ying Nengkun Yu Li Zhou

Published in: CoRR (2019)

Keyphrases

quantum computation
quantum computing
spatial reasoning
computer programs
computer vision
prolog programs
control structures
knowledge representation
high level
qualitative reasoning
programming environment
formal theory
decision trees
logic circuits
provably correct
website
decision making
databases