Lukas Burgholzer
Lukas Burgholzer
Home
Publications
Software
Accomplishments
Light
Dark
Automatic
Tom Peham
Latest
Equivalence Checking of Quantum Circuits with the ZX-Calculus
Equivalence Checking Paradigms in Quantum Circuit Design
The Basis of Design Tools for Quantum Computing
Cite
×