FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Hideki Tsuiki
Organization: Graduate School of Human and Environmental Studies, Kyoto University
Web page: http://www.i.h.kyoto-u.ac.jp/~tsuiki
Pages in this Program
Domains13 on Saturday, July 7th
Domains13 Program
Program
Program for Saturday, July 7th