FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Fabio Patrizi
Affiliation: Sapienza University of Rome
Web page: http://www.diag.uniroma1.it/patrizi
Pages in this Program
ICLP on Thursday, August 4th
ICLP Program
Program
Program for Thursday, August 4th
Slides
Slides