Quantum computational structures
暂无分享,去创建一个
Gianpiero Cattaneo | Roberto Giuntini | Roberto Leporini | R. Giuntini | G. Cattaneo | R. Leporini | Ml Dalla Chiara | M. D. Chiara
[1] Stan Gudder,et al. Quantum Computational Logic , 2003 .
[2] M. L. Dalla Chiara,et al. An Unsharp Logic from Quantum Computation , 2002, quant-ph/0201013.
[3] C. Petri. Grundsätzliches zur Beschreibung Diskreter Prozesse , 1967 .
[4] David Deutsch,et al. Machines, logic and quantum physics , 2000, Bull. Symb. Log..
[5] Roberto Giuntini,et al. Qubit Semantics and Quantum Trees , 2002 .