Login / Signup
Takahito Aoto
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 17
Top Topics
Theorem Proving
Term Rewriting
Normal Form
Rewriting Systems
Top Venues
FSCD
CoRR
LOPSTR
FroCoS
</>
Publications
</>