Xu, Y., Barthe, G., & Zhou, L. (2024). Automating Equational Proofs in Dirac Notation.
Cita Chicago Style (17a ed.)Xu, Yingte, Gilles Barthe, y Li Zhou. Automating Equational Proofs in Dirac Notation. 2024.
Cita MLA (9a ed.)Xu, Yingte, et al. Automating Equational Proofs in Dirac Notation. 2024.
Precaución: Estas citas no son 100% exactas.