厦门大学学者库

学者信息

林哲

哲学系

归档
2024
2023
2022
2021
2020
合作者

已发表成果：

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

  • Cut Elimination of Intuitionistic Tense Logic

    arXiv,,2024-05-16.
    Wang, Yiheng (1); Peng, Yu (1); Lin, Zhe (2)
    EI:20240213874   10.48550/arXiv.2405.09970
    收录情况：EI