FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Kazuyuki Asada
Organization: The University of Tokyo
Web page: http://www-kb.is.s.u-tokyo.ac.jp/~asada/
Pages in this Program
LICS on Thursday, July 12th
LICS Program
Program
Program for Thursday, July 12th