Authors
A. Baltag
J.M. Bergfeld
K. Kishida
S.J.L. Smets
S. Zhong
Date (dd-mm-yyyy)
2012
Title
A Decidable Dynamic Logic for Quantum Reasoning
Publication Year
2012
Publisher
Brussels
Document type
Conference contribution
Permalink
https://hdl.handle.net/11245/1.375032