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]
No references recorded for this publication.
No citations of this publication recorded.