TY  - RPRT
TI  - Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
AU  - Yuxiang Peng
AU  - Mingsheng Ying
AU  - Xiaodi Wu
PY  - 2022
DO  - 10.1145/3519939.3523713
UR  - https://arxiv.org/abs/2110.07018
ID  - 2110.07018
ER  -