FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Leonardo Lamanna
Affiliation: University of Brescia and Fondazione Bruno Kessler
Web page: https://dkm.fbk.eu/author/leonardolamanna/
Pages in this Program
KR on Thursday, August 4th
KR Program
Program
Program for Thursday, August 4th
Slides
Slides