Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs

Mingsheng Ying
一月 2022
引用 arXiv URL
类型
Manuscript
应明生
应明生
教授