Publisher
Springer Science and Business Media LLC
Subject
Physics and Astronomy (miscellaneous),General Mathematics
Reference18 articles.
1. Baltag, A., Smets, S.: The Logic of Quantum Programs The proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL), TUCS General Publication, vol. 33 (2004)
2. Baltag, A., Smets, S.: LQP: The Dynamic logic of quantum information. Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages 16(3), 491–525 (2006)
3. Baltag, A., Smets, S.: Complete axiomatizations for quantum actions. Int. J. Theor. Phys. 44(12), 2267–2282 (2005)
4. Baltag, A, Smets, S.: A Dynamic - Logical Perspective on Quantum Behavior, Studia Logica. In: Douven, I., Horsten, L. (eds.) Special issue on Applied Logic in the Philosophy of Science, vol. 89, pp. 185–209 (2008)
5. Baltag, A., Smets, S.: Quantum Logic as a Dynamic Logic, Synthese. In: Kuipers, T., van Benthem, J., Visser, H. (eds.) Special issue (2011)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献