厦门大学学者库

学者信息

林哲

哲学系

归档
2024
2023
2022
2021
2020
合作者

已发表成果：

WOK 论文 7 篇;中文核心 1 篇;

  • On the decidability of intuitionistic tense logic without disjunction

    Proceedings of the 29th International Joint Conference on Artificial Intelligence,1045-0823,2020.
    Liang, Fei (1, 2); Lin, Zhe (3)
    EI:20205009609031  
    收录情况：EI