Registered user since Fri 10 May 2019
Name:Akihisa Yamada
Country:Japan
Affiliation:AIST
Personal website: https://akihisayamada.github.io/
GitHub: https://github.com/AkihisaYamada
Research interests:Term Rewriting, Proof Assistants, SAT/SMT, Cyber-Physical Systems
Contributions
Using general profile