Algebraic Proof Theory for LE-logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Giuseppe Greco 0001' in GoogleThis author has not been identified. Look up 'Peter Jipsen' in GoogleThis author has not been identified. Look up 'Fei Liang' in GoogleThis author has not been identified. Look up 'Alessandra Palmigiano' in GoogleThis author has not been identified. Look up 'Apostolos Tzimoulis' in Google

runs on WebDSL