Giuseppe Greco 0001, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis. Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log., 25(1), January 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.