%0 Journal Article %1 journals/corr/abs-0903-5392 %A Bruscoli, Paola %A Guglielmi, Alessio %A Gundersen, Tom %A Parigot, Michel %D 2016 %J Logical Methods in Computer Science %K dblp %N 2 %T Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#abs-0903-5392 %V 12

@article{journals/corr/abs-0903-5392, added-at = {2019-05-14T00:00:00.000+0200}, author = {Bruscoli, Paola and Guglielmi, Alessio and Gundersen, Tom and Parigot, Michel}, biburl = {https://www.bibsonomy.org/bibtex/21cee56017d862801c13eaaf7dc894d5e/dblp}, ee = {http://arxiv.org/abs/0903.5392}, interhash = {e7badcaacee18d2fd82fc18ac03b2dd8}, intrahash = {1cee56017d862801c13eaaf7dc894d5e}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2019-05-15T11:50:49.000+0200}, title = {Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#abs-0903-5392}, volume = 12, year = 2016 }