Algebraic Proof Theory for LE-logics
发布时间:2024-05-16 点击数:
所属单位:哲学与社会发展学院
论文名称:Algebraic Proof Theory for LE-logics
发表刊物:ACM Transactions on Computational Logic
论文编号:39AF19F7DCD64BBDA3819C6617CF6A2A
期号:0
字数:30
是否译文:否
发表时间:2022-10
所属单位:哲学与社会发展学院
论文名称:Algebraic Proof Theory for LE-logics
发表刊物:ACM Transactions on Computational Logic
论文编号:39AF19F7DCD64BBDA3819C6617CF6A2A
期号:0
字数:30
是否译文:否
发表时间:2022-10