HAL (France)open access
Practical verification of quantum circuit transformations
Quantum circuit transformations, Vérification formelle, Transformations de circuits quantiques, Nisq, 1, 0, Vérification de l'équivalence des circuits, Hybrid quantum circuits
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 344371
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.