TY  - RPRT
TI  - Equivalence Checking of Quantum Circuits with the ZX-Calculus
AU  - Tom Peham
AU  - Lukas Burgholzer
AU  - Robert Wille
PY  - 2022
DO  - 10.1109/jetcas.2022.3202204
UR  - https://arxiv.org/abs/2208.12820
ID  - 2208.12820
ER  -