Search
Add Filter:
Results
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2020-01-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |
2021-06-29 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
2021 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
Results 1-3 of 3 (Search time: 0.004 seconds).
- previous
- 1
- next