NOTE: Japanese page is here.
Takahito Aoto
Professor
- Address:
- Smart Information Systems Program, Faculty of Engineering, Niigata University
8050 Ikarashi 2-no-cho, Nishi-ku, Niigata, 950-2181, Japan
- E-mail:
Research Interests
- Term Rewriting
- Automated Theorem Proving
- Foundations of Software
Publications
Softwares
Events
Links
Aoto