%0 Journal Article %1 journals/corr/abs-1005-4508 %A Tiu, Alwen %A Goré, Rajeev %A Dawson, Jeremy E. %D 2010 %J Logical Methods in Computer Science %K dblp %N 3 %T A Proof Theoretic Analysis of Intruder Theories %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs6.html#abs-1005-4508 %V 6

@article{journals/corr/abs-1005-4508, added-at = {2018-08-13T00:00:00.000+0200}, author = {Tiu, Alwen and Goré, Rajeev and Dawson, Jeremy E.}, biburl = {https://www.bibsonomy.org/bibtex/251a4a0ee7486676b8ddd759a10d22a82/dblp}, ee = {http://arxiv.org/abs/1005.4508}, interhash = {71030a188a0e7c11ff308bfb5648e8a6}, intrahash = {51a4a0ee7486676b8ddd759a10d22a82}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2018-08-14T13:28:22.000+0200}, title = {A Proof Theoretic Analysis of Intruder Theories}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs6.html#abs-1005-4508}, volume = 6, year = 2010 }