Login / Signup
Verifying Quantum Programs: From Quipper to QPMC.
Linda Anticoli
Carla Piazza
Leonardo Taglialegne
Paolo Zuliani
Published in:
CoRR (2017)
Keyphrases
</>
quantum computation
quantum computing
machine learning
stable models
control structures
data sets
databases
artificial intelligence
search engine
information systems
e learning
knowledge base
expert systems
user interface
model checking
computer programs