%0 Journal Article %1 journals/sLogica/BaazL14 %A Baaz, Matthias %A Leitsch, Alexander %D 2014 %J Stud Logica %K dblp %N 6 %P 1217-1244 %T Cut-Elimination: Syntax and Semantics. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica102.html#BaazL14 %V 102

@article{journals/sLogica/BaazL14, added-at = {2020-09-01T00:00:00.000+0200}, author = {Baaz, Matthias and Leitsch, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/218bb86808527fab4efc4bb41a8de9050/dblp}, ee = {https://doi.org/10.1007/s11225-014-9563-2}, interhash = {20e3a79c27feaab96be039fa184b66d4}, intrahash = {18bb86808527fab4efc4bb41a8de9050}, journal = {Stud Logica}, keywords = {dblp}, number = 6, pages = {1217-1244}, timestamp = {2020-09-09T12:38:39.000+0200}, title = {Cut-Elimination: Syntax and Semantics.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica102.html#BaazL14}, volume = 102, year = 2014 }