%0 Journal Article %1 journals/mscs/BaltagS06 %A Baltag, Alexandru %A Smets, Sonja %D 2006 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 491-525 %T LQP: the dynamic logic of quantum information. %U http://dblp.uni-trier.de/db/journals/mscs/mscs16.html#BaltagS06 %V 16

@article{journals/mscs/BaltagS06, added-at = {2022-10-02T00:00:00.000+0200}, author = {Baltag, Alexandru and Smets, Sonja}, biburl = {https://www.bibsonomy.org/bibtex/28beec83422e00c8fe04eb3959f47cd40/dblp}, ee = {https://doi.org/10.1017/S0960129506005299}, interhash = {01fc41e5679207d92165998d6efeca38}, intrahash = {8beec83422e00c8fe04eb3959f47cd40}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {491-525}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {LQP: the dynamic logic of quantum information.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs16.html#BaltagS06}, volume = 16, year = 2006 }