FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Cosimo Laneve
Organization: University of Bologna
Web page: https://www.unibo.it/sitoweb/cosimo.laneve/en
Pages in this Program
FM on Tuesday, July 17th
FM Program
Program
Program for Tuesday, July 17th