References
- Dalla Chiara , M.L. , Giuntini , R. , Leporati , A. and Leporini , R. 2005a . Qubit semantics and quantum trees . International journal of theoretical physics , 44 : 971 – 984 .
- Dalla Chiara , M.L. , Giuntini , R. and Greechie , R. 2004 . Reasoning in quantum theory , Dordrecht : Kluwer .
- Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2003 . “ Quantum computational logics. A survey ” . In Trends in logic. 50 Years of Studia Logica , Edited by: Hendricks , V. and Malinowski , J. 229 – 271 . Dordrecht : Kluwer .
- Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2005b . Logics from quantum computation . International journal of quantum information , 3 : 293 – 337 .
- Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2007 . Compositional and holistic quantum computational semantics . Natural computing , 6 : 113 – 132 .
- Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2008 . Quantum computational logics and possible applications . International journal of theoretical physics , 47 ( 1 ) : 44 – 60 .
- Kitaev , A.Y. , Shen , A.H. and Vyalyi , M.N. 2002 . Classical and quantum computation , Graduate studies in mathematics Vol. 47 , Cambridge : American Mathematical Society Press .