中国科学院数学与系统科学研究院期刊网
一类基于量子程序理论的序列效应代数
李午栋, 张颖, 贺衎
A Sub-sequential Effect Algebra from the Quantum Programming Theory
Wu Dong LI, Ying ZHANG, Kan HE
数学学报 . 2020, (6): 647 -654 .  DOI: 10.12386/A2020sxxb0055