Termination and Universal Termination Problems for Nondeterministic Quantum Programs.
Saved in:
| Title: | Termination and Universal Termination Problems for Nondeterministic Quantum Programs. |
|---|---|
| Authors: | Xu, Ming1, mxu@cs.ecnu.edu.cn, Fu, Jianling2, scsse_fjl2015@126.com, Jiang, Hui1, yhq_jh@126.com, Deng, Yuxin1, yxdeng@sei.ecnu.edu.cn, Li, Zhi-Bin2, lizb@cs.ecnu.edu.cn |
| Source: | ACM Transactions on Software Engineering & Methodology; Nov2024, Vol. 33 Issue 8, p1-41, 41p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
