Associate Professor
The Last Update Time: ..
Hits:
Institution:哲学与社会发展学院
Title of Paper:Algebraic Proof Theory for LE-logics
Journal:ACM Transactions on Computational Logic
Document Code:1754450339719565313
Volume:25
Issue:1
Number of Words:20
Translation or Not:No
Date of Publication:2024-01
Release Time:2024-05-22