TY - RPRT TI - A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits AU - Matthew Amy AU - Neil J. Ross AU - Scott Wesley PY - 2024 DO - 10.4204/eptcs.406.1 UR - https://arxiv.org/abs/2407.11152 ID - 2407.11152 ER -