PLQP & Company: Decidable Logics for Quantum Algorithms
Baltag, Alexandru, Bergfeld, Jort, Kishida, Kohei, Sack, Joshua, Smets, Sonja, Zhong, ShengyangVolume:
53
Language:
english
Journal:
International Journal of Theoretical Physics
DOI:
10.1007/s10773-013-1987-3
Date:
October, 2014
File:
PDF, 758 KB
english, 2014