Termination of nondeterministic quantum programs.

Yangjia Li Nengkun Yu Mingsheng Ying

Published in: Acta Informatica (2014)

Keyphrases

finite state
computer programs
database
real world
finite automata
real time
search algorithm
query language
programming language
turing machine
term rewriting
quantum computation