A Practical Quantum Hoare Logic with Classical Variables, I

書目詳細資料

發表在:	arXiv.org (Dec 13, 2024), p. n/a
主要作者:	Ying, Mingsheng
出版:	Cornell University Library, arXiv.org
主題:	Learning curves Program verification (computers) Parameterization Specifications Logic Programming languages Reasoning
在線閱讀:	Citation/Abstract Full text outside of ProQuest
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!