On the Decidability of Intuitionistic Tense Logic without Disjunction
发布时间：2021-05-31 点击数：
所属单位：哲学与社会发展学院
论文名称：On the Decidability of Intuitionistic Tense Logic without Disjunction
发表刊物：IJCAI2020
第一作者：梁飞
论文编号：977A3507D0B7495BA6352767F0736508
字数：10
是否译文：否
发表时间：2021-01