FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Marina Lenisa
Affiliation: Università di Udine
Web page: http://www.dimi.uniud.it/lenisa
Pages in this Program
FSCD on Tuesday, August 2nd
FSCD Program
Program
Program for Tuesday, August 2nd
Slides
Slides