Zhou, L., Barthe, G., Hsu, J., Ying, M., & Yu, N. (2021, June 29). A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470673
Citace podle Chicago (17th ed.)Zhou, Li, Gilles Barthe, Justin Hsu, Mingsheng Ying, a Nengkun Yu. "A Quantum Interpretation of Bunched Logic & Quantum Separation Logic." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470673.
Citace podle MLA (9th ed.)Zhou, Li, et al. "A Quantum Interpretation of Bunched Logic & Quantum Separation Logic." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470673.