A Logic for Recursive Quantum Programs

Zhaowei Xu, Mingsheng Ying, Shenggang Ying
一月 2018
引用 arXiv URL
类型
Manuscript
应明生
应明生
教授