2014
- A. Baltag, J.M. Bergfeld, K. Kishida, J.H. Sack, S.J.L. Smets & S. Zhong (2014). PLQP & Company: Decidable Logics for Quantum Algorithms. International Journal of Theoretical Physics, 53 (10), 3628-3647.
2013
- A. Baltag, Jort Bergfeld, K. Kishida, J.H. Sack, Sonja Smets & S. Zhong (2013). Quantum Probabilistic Dyadic Second-Order Logic. In Workshop on Logic, Language, Information and Computation Vol. 8071. Lecture Notes in Computer Science. Springer Berlin Heidelberg.
2012
- A. Baltag, J.M. Bergfeld, K. Kishida, S.J.L. Smets & S. Zhong (2012). A Decidable Dynamic Logic for Quantum Reasoning. In Pre-proceedings of The workshop on Quantum Physics and Logic, 2012. Brussels.
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.