TY - RPRT TI - A Complete Equational Theory for Quantum Circuits AU - Alexandre Clément AU - Nicolas Heurtel AU - Shane Mansfield AU - Simon Perdrix AU - Benoît Valiron PY - 2023 DO - 10.1109/lics56636.2023.10175801 UR - https://arxiv.org/abs/2206.10577 ID - 2206.10577 ER -