A Logic for Quantum Register Measurements

Andrea Masini, Margherita Zorzi. A Logic for Quantum Register Measurements. Axioms, 8(1):25, 2019. [doi]

Abstract

Abstract is missing.