%0 Conference Paper %1 conf/wollic/Selinger12 %A Selinger, Peter %B WoLLIC %D 2012 %E Ong, C.-H. Luke %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 88 %T Logical Methods in Quantum Information Theory. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#Selinger12 %V 7456 %@ 978-3-642-32620-2

@inproceedings{conf/wollic/Selinger12, added-at = {2017-05-25T00:00:00.000+0200}, author = {Selinger, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2ed56ae86f0e86ddbf5f636f6da0ca1f2/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2012}, editor = {Ong, C.-H. Luke and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-642-32621-9_7}, interhash = {cd0a31336b71139c2ba72def950bedaf}, intrahash = {ed56ae86f0e86ddbf5f636f6da0ca1f2}, isbn = {978-3-642-32620-2}, keywords = {dblp}, pages = 88, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:01:42.000+0200}, title = {Logical Methods in Quantum Information Theory.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#Selinger12}, volume = 7456, year = 2012 }