FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Mateu Villaret
Affiliation: Universitat de Girona
Web page: http://ima.udg.es/~villaret
Pages in this Program
CP on Thursday, August 4th
CP Program
Program
Program for Thursday, August 4th
Slides
Slides