Quantum Hoare logic with ghost variables
From MaRDI portal
Publication:6654512
DOI10.5555/3470152.3470199MaRDI QIDQ6654512FDOQ6654512
Authors: Dominique Unruh
Publication date: 19 December 2024
Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Logic in computer science (03B70) Quantum logic (03G12)
This page was built for publication: Quantum Hoare logic with ghost variables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654512)