{"_id":"RoPtLBWmYGnxEFJn6","bibbaseid":"baltag-smets-lqpthedynamiclogicofquantuminformation-2006","downloads":0,"creationDate":"2016-10-13T11:48:04.832Z","title":"LQP: the dynamic logic of quantum information","author_short":["Baltag, A.","Smets, S."],"year":2006,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/b/Baltag:Alexandru","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alexandru"],"propositions":[],"lastnames":["Baltag"],"suffixes":[]},{"firstnames":["Sonja"],"propositions":[],"lastnames":["Smets"],"suffixes":[]}],"title":"LQP: the dynamic logic of quantum information","journal":"Mathematical Structures in Computer Science","volume":"16","number":"3","pages":"491--525","year":"2006","url":"http://dx.doi.org/10.1017/S0960129506005299","doi":"10.1017/S0960129506005299","timestamp":"Thu, 19 Jun 2008 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/mscs/BaltagS06","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/mscs/BaltagS06,\n author = {Alexandru Baltag and\n Sonja Smets},\n title = {{LQP:} the dynamic logic of quantum information},\n journal = {Mathematical Structures in Computer Science},\n volume = {16},\n number = {3},\n pages = {491--525},\n year = {2006},\n url = {http://dx.doi.org/10.1017/S0960129506005299},\n doi = {10.1017/S0960129506005299},\n timestamp = {Thu, 19 Jun 2008 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/mscs/BaltagS06},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Baltag, A.","Smets, S."],"key":"DBLP:journals/mscs/BaltagS06","id":"DBLP:journals/mscs/BaltagS06","bibbaseid":"baltag-smets-lqpthedynamiclogicofquantuminformation-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1017/S0960129506005299"},"downloads":0},"search_terms":["lqp","dynamic","logic","quantum","information","baltag","smets"],"keywords":[],"authorIDs":[],"dataSources":["gwEctFQ24iELEipk9"]}