FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jeremy Sproston
Organization: University of Turin
Web page: http://www.di.unito.it/~sproston/
Pages in this Program
MoRe on Friday, July 13th
MoRe Program
Program
Program for Friday, July 13th