%0 Conference Paper %1 conf/csl/Das14 %A Das, Anupam %B CSL-LICS %D 2014 %E Henzinger, Thomas A. %E Miller, Dale %I ACM %K myown %P 36:1-36:10 %T On the pigeonhole and related principles in deep inference and monotone systems. %U http://dblp.uni-trier.de/db/conf/csl/csl2014.html#Das14 %@ 978-1-4503-2886-9

@inproceedings{conf/csl/Das14, added-at = {2016-07-10T17:51:07.000+0200}, author = {Das, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/2e3ec7dd089a7079363d42f3ef58e7265/anupamdas}, booktitle = {CSL-LICS}, crossref = {conf/csl/2014}, editor = {Henzinger, Thomas A. and Miller, Dale}, ee = {http://doi.acm.org/10.1145/2603088.2603164}, interhash = {c43b506e346a2e521d731b0ef17078b3}, intrahash = {e3ec7dd089a7079363d42f3ef58e7265}, isbn = {978-1-4503-2886-9}, keywords = {myown}, pages = {36:1-36:10}, publisher = {ACM}, timestamp = {2016-07-10T17:51:07.000+0200}, title = {On the pigeonhole and related principles in deep inference and monotone systems.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#Das14}, year = 2014 }