FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Mauricio Ayala-Rincón
Affiliation: Universidade de Brasilía
Web page: http://www.mat.unb.br/~ayala
Pages in this Program
FSCD on Tuesday, August 2nd
FSCD Program
Program
Program for Tuesday, August 2nd
Slides
Slides