搜索结果: 1-1 共查到“知识库 哲学 Programs”相关记录1条 . 查询时间(0.156 秒)
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evoluti...