Equivalence Checking in Multi-level Quantum Systems

DOI10.1007/978-3-319-08494-7_16zbMath1417.81096OpenAlexW10410845WikidataQ59242274 ScholiaQ59242274MaRDI QIDQ3188926

Robert Wille, Philipp Niemann, Rolf Drechsler

Publication date: 2 September 2014

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08494-7_16

Mathematics Subject Classification ID

Quantum computation (81P68) Data structures (68P05)

Related Items (1)

Advanced exact synthesis of Clifford+T circuits

Uses Software

• RevLib

This page was built for publication: Equivalence Checking in Multi-level Quantum Systems