%0 Conference Paper %1 conf/cie/Das12 %A Das, Anupam %B CiE %D 2012 %E Cooper, S. Barry %E Dawar, Anuj %E Löwe, Benedikt %I Springer %K dblp %P 139-150 %T Complexity of Deep Inference via Atomic Flows. %U http://dblp.uni-trier.de/db/conf/cie/cie2012.html#Das12 %V 7318 %@ 978-3-642-30869-7

@inproceedings{conf/cie/Das12, added-at = {2023-09-30T00:00:00.000+0200}, author = {Das, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/22c300124267922da766fa44f2ef9e7cb/dblp}, booktitle = {CiE}, crossref = {conf/cie/2012}, editor = {Cooper, S. Barry and Dawar, Anuj and Löwe, Benedikt}, ee = {https://doi.org/10.1007/978-3-642-30870-3_15}, interhash = {d39db088c0f690288087b485ae229ec7}, intrahash = {2c300124267922da766fa44f2ef9e7cb}, isbn = {978-3-642-30869-7}, keywords = {dblp}, pages = {139-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:29:25.000+0200}, title = {Complexity of Deep Inference via Atomic Flows.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2012.html#Das12}, volume = 7318, year = 2012 }