Login / Signup
Reasoning about Recursive Quantum Programs.
Zhaowei Xu
Mingsheng Ying
Benoît Valiron
Published in:
CoRR (2021)
Keyphrases
</>
modal logic
modal operators
recursive programs
quantum computation
quantum computing
answer sets
recursive functions
fixpoint
recursive algorithm
intermediate level
quantum mechanics
automatic programming
database
qualitative reasoning
spatial reasoning
computer programs
website
real time