Teppei Saito

According to our database, Teppei Saito authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting.

Dohan Kim, Teppei Saito, René Thiemann, Akihisa Yamada

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

Lexicographic Combination of Reduction Pairs.

Teppei Saito, Nao Hirokawa

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Simulating Dependency Pairs by Semantic Labeling.

Teppei Saito, Nao Hirokawa

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Generalizing Weighted Path Orders.

Teppei Saito, Nao Hirokawa

CoRR, 2023

Weighted Path Orders Are Semantic Path Orders.

Teppei Saito, Nao Hirokawa

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023