We stand with Ukraine  

Teppei Saito

Orcid: 0009-0001-9786-0044

According to our database1, Teppei Saito authored at least 6 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Unifying Semantic Path Order and Weighted Path Order.
[BibTeX]
[DOI]
Teppei Saito
,
Nao Hirokawa
CoRR, May, 2026

2025
An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Teppei Saito
,
Nao Hirokawa
Proceedings of the Automated Deduction - CADE 30, 2025

2024
Simulating Dependency Pairs by Semantic Labeling.
[BibTeX]
[DOI]
Teppei Saito
,
Nao Hirokawa
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023
Generalizing Weighted Path Orders.
[BibTeX]
[DOI]
Teppei Saito
,
Nao Hirokawa
CoRR, 2023

Weighted Path Orders Are Semantic Path Orders.
[BibTeX]
[DOI]
Teppei Saito
,
Nao Hirokawa
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023


  Loading...