NOTE: Japanese page is here.

Takahito Aoto

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

• Journal and Conference Papers
• Workshop Papers
• Reports and Others
• External information resources: dblp, google scholar

Softwares

• ACP

Research Group

• Department of Electrical and Information Engineering, Graduate School of Science and Technology, Niigata University
• Computer Science Laboratory, Department of Information Engineering, Faculty of Engineering, Niigata University

Events

• UNIF 2019

Links

• CoCo (Confluence Competition)
• IWC (International Workshop on Confluence)
• Researchers in Rewriting (by A. Middeldorp)
• TRS meeting (by N. Hirokawa)
• DBLP (by M. Ley)