%0 Journal Article %1 journals/corr/Das15 %A Das, Anupam %D 2015 %J Log. Methods Comput. Sci. %K dblp %N 1 %T On the relative proof complexity of deep inference via atomic flows. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#Das15 %V 11

@article{journals/corr/Das15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Das, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/24cb3828415f5271bee63cd71ff1460d2/dblp}, ee = {http://arxiv.org/abs/1502.05860}, interhash = {54318825504802cea7f33cfe1fa93c38}, intrahash = {4cb3828415f5271bee63cd71ff1460d2}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-08T23:27:32.000+0200}, title = {On the relative proof complexity of deep inference via atomic flows.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#Das15}, volume = 11, year = 2015 }