%0 Conference Paper %1 conf/lics/CohenD07 %A Cohen, Mika %A Dam, Mads %B LICS %D 2007 %I IEEE Computer Society %K dblp %P 77-88 %T A Complete Axiomatization of Knowledge and Cryptography. %U http://dblp.uni-trier.de/db/conf/lics/lics2007.html#CohenD07 %@ 0-7695-2908-9

@inproceedings{conf/lics/CohenD07, added-at = {2014-11-21T00:00:00.000+0100}, author = {Cohen, Mika and Dam, Mads}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b06232b4b54b8a63b9d34bf7940528ed/dblp}, booktitle = {LICS}, crossref = {conf/lics/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.4}, interhash = {2f5a6d3a47d4fae8b47678aed799fb58}, intrahash = {b06232b4b54b8a63b9d34bf7940528ed}, isbn = {0-7695-2908-9}, keywords = {dblp}, pages = {77-88}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:32:37.000+0100}, title = {A Complete Axiomatization of Knowledge and Cryptography.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2007.html#CohenD07}, year = 2007 }