Zhaowei Xu

最新发表

Zhaowei Xu, Mingsheng Ying, Shenggang Ying (2018). A Logic for Recursive Quantum Programs.

引用 arXiv URL