Publisher
Springer Science and Business Media LLC
Subject
Physics and Astronomy (miscellaneous),General Mathematics
Reference18 articles.
1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425. IEEE Comput. Soc. Press, Los Alamitos (2004)
2. Atiyah, M.: K-theory, Lecture Notes Series by W. A. Benjamin, Inc. (1967)
3. Amemiya, I., Araki, H: A remark on Pirons paper. Publ. Res. Inst. Math. Sci., Sect A 12, 423–427 (1966)
4. Birkhoff, G, von Neumann, J.: The logic of quantum mechanics. Ann. of Math. (2) 37(4), 823–843 (1936)
5. Crown, G: On some orthomodular posets of vector bundles. J. Natur. Sci. Math. 15(1–2), 11–25 (1975)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum logic programming with Weyl predicates;Quantum Information Science, Sensing, and Computation XIII;2021-04-12
2. Formal verification of communication protocols using quantized Horn clauses;Quantum Information and Computation IX;2016-05-26