%0 Journal Article %1 journals/tocl/GrecoJLPT24 %A Greco, Giuseppe %A Jipsen, Peter %A Liang, Fei %A Palmigiano, Alessandra %A Tzimoulis, Apostolos %D 2024 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 6:1-6:37 %T Algebraic Proof Theory for LE-logics. %U http://dblp.uni-trier.de/db/journals/tocl/tocl25.html#GrecoJLPT24 %V 25

@article{journals/tocl/GrecoJLPT24, added-at = {2024-02-29T00:00:00.000+0100}, author = {Greco, Giuseppe and Jipsen, Peter and Liang, Fei and Palmigiano, Alessandra and Tzimoulis, Apostolos}, biburl = {https://www.bibsonomy.org/bibtex/2fd58c7ec03e1224f5f41f216cf3e3c66/dblp}, ee = {https://doi.org/10.1145/3632526}, interhash = {aa4ea9badd128e8a0339587fc28c1bd0}, intrahash = {fd58c7ec03e1224f5f41f216cf3e3c66}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, month = {January}, number = 1, pages = {6:1-6:37}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {Algebraic Proof Theory for LE-logics.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl25.html#GrecoJLPT24}, volume = 25, year = 2024 }