Login / Signup
An applied quantum Hoare logic.
Li Zhou
Nengkun Yu
Mingsheng Ying
Published in:
PLDI (2019)
Keyphrases
</>
quantum computation
neural network
data sets
knowledge representation
database
information retrieval
image processing
logic circuits