%0 Journal Article %1 journals/sLogica/BelardinelliJO04 %A Belardinelli, Francesco %A Jipsen, Peter %A Ono, Hiroakira %D 2004 %J Stud Logica %K dblp %N 2 %P 209-240 %T Algebraic Aspects of Cut Elimination. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica77.html#BelardinelliJO04 %V 77

@article{journals/sLogica/BelardinelliJO04, added-at = {2023-03-21T00:00:00.000+0100}, author = {Belardinelli, Francesco and Jipsen, Peter and Ono, Hiroakira}, biburl = {https://www.bibsonomy.org/bibtex/2d808b2ba1568ac41dd1dbc7eafa39178/dblp}, ee = {https://doi.org/10.1023/B:STUD.0000037127.15182.2a}, interhash = {219b0a95bd7bd8897fcc714613feb143}, intrahash = {d808b2ba1568ac41dd1dbc7eafa39178}, journal = {Stud Logica}, keywords = {dblp}, number = 2, pages = {209-240}, timestamp = {2024-04-08T20:31:07.000+0200}, title = {Algebraic Aspects of Cut Elimination.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica77.html#BelardinelliJO04}, volume = 77, year = 2004 }