Quantum Hoare logic with classical variables.

Yuan Feng Mingsheng Ying

Published in: CoRR (2020)

Keyphrases

quantum computation
variable selection
logic circuits
logic synthesis
propositional variables
graphical models

state variables
multi valued
random variables
modal logic
relevant variables
causal models

quantum probability
quantum inspired
quantum computing
asynchronous circuits
data sets

description logics
probability distribution
knowledge base
genetic algorithm
information retrieval