2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrea Masini, Luca Viganò, Margherita Zorzi
We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum regi…