Found 3 Documents (Results 1–3)
Termination of nondeterministic quantum programs. (English) Zbl 1359.68092
MSC:
68Q12
Filter Results by …
Author
- Ying, Mingsheng (3)
- Feng, Yuan (2)
- Li, Yangjia (2)
- Yu, Nengkun (2)
- Deng, Yuxin (1)
Serial
- ACM Trans. Comput. Log. (2)
- Acta Inf. (1)