FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Massimo Merro
Organization: University of Verona, Italy
Web page: http://profs.scienze.univr.it/~merro/
Pages in this Program
Slides
Slides