FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Alessandro Saetti
Affiliation: University of Brescia
Web page: http://alessandro-saetti.unibs.it
Pages in this Program
KR on Thursday, August 4th
KR Program
Program
Program for Thursday, August 4th
Slides
Slides