NOTE: Japanese page is here.
Takahito Aoto
Associate Professor
Computing Information Theory (Toyama-Aoto Laboratory)
- Address:
-
Research Institute of Electrical Communication,
Tohoku University
2-1-1 Katahira, Aoba-ku, Sendai, 980-8577, Japan
- E-mail:
Research Interests
- Term Rewriting
- Automated Theorem Proving
- Foundations of Software
Links
Aoto