FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
PROGRAM
AUTHORS
KEYWORDS
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
Disclaimer
|
Powered by EasyChair Smart Program