People:Akihisa Yamada
From Termination-Portal.org
Akihisa Yamada
- post-doc in the Department of ERATO HASUO Metamathematics for Systems Design Project (National Institute of Informatics, Japan)
- home page: http://group-mmm.org/~ayamada/
- email: mailto:ayamada@trs.cm.nagoya-u.ac.jp