A complete equational theory for quantum circuits

DOI10.1109/LICS56636.2023.10175801MaRDI QIDQ6851648zbMATH OpenFDO

Authors Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175801

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(4)

• Quantum circuit completeness: extensions and simplifications
• A sound and complete equational theory for 3-qubit Toffoli-Hadamard circuits
• Minimal equational theories for quantum circuits
• Diagrammatic reasoning with control as a constructor, applications to quantum circuits

This page was built for publication: A complete equational theory for quantum circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851648)