General Information
- Name
- Teppei SAITO
- 齊藤 哲平
- Research Interests
- term rewriting
- automated theorem proving
- Affiliation
- JAIST
- Activities
- CoCo Steering Committee (from 2022)
- Software
- Toma
- IsaFoR/CeTA (as a contributor)
Conference Papers
- FSCD 2024
- Teppei Saito and Nao Hirokawa.
- Simulating Dependency Pairs by Semantic Labeling.
- Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction,
Leibniz International Proceedings in Informatics 299, 2024. (to appear)
- FroCoS 2023
- Teppei Saito and Nao Hirokawa.
- Weighted Path Orders are Semantic Path Orders.
- Proceedings of the 14th International Symposium on Frontiers of Combining Systems, Lecture Notes in Artificial Intelligence, pp. 63–80, 2023.
- doi: 10.1007/978-3-031-43369-6_4
- best paper award
- eratta
Links