Modal Deduction Systems for Quantum State Transformations

Andrea Masini, Luca ViganĂ², Margherita Zorzi. Modal Deduction Systems for Quantum State Transformations. Multiple-Valued Logic and Soft Computing, 17(5-6):475-519, 2011. [doi]

Abstract

Abstract is missing.