TY  - RPRT
TI  - Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
AU  - Jianling Fu
AU  - Hui Jiang
AU  - Ming Xu
AU  - Yuxin Deng
AU  - Zhi-Bin Li
PY  - 2024
UR  - https://arxiv.org/abs/2402.15827
ID  - 2402.15827
ER  -