Who I am
Name: Saito Teppei / 齊藤 哲平
Research Interests: term rewriting, automated theorem proving
Links
my ORCID:
0009-0001-9786-0044
find me on DBLP