FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Ryoma Sin'Ya
Affiliation: Akita University
Web page: http://akitauinfo.akita-u.ac.jp/html/100000808_en.html
Pages in this Program
Program
Program for Wednesday, July 1st