Termination of nondeterministic quantum programs
From MaRDI portal
Publication:2453979
DOI10.1007/s00236-013-0185-3zbMath1359.68092arXiv1201.0891MaRDI QIDQ2453979
Ming Sheng Ying, Nengkun Yu, Yangjia Li
Publication date: 12 June 2014
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1201.0891
68Q12: Quantum algorithms and complexity in the theory of computing
Uses Software