Login / Signup
Termination of Nondeterministic Quantum Programs
Yangjia Li
Nengkun Yu
Mingsheng Ying
Published in:
CoRR (2012)
Keyphrases
</>
finite state
programming environment
control structures
term rewriting
databases
case study
reinforcement learning
programming language
logic programming
computer programs
finite automata
quantum computing
quantum inspired
probability ranking principle