FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Sylvain Salvati
Affiliation: Université de Lille, INRIA, CRIStAL UMR 9189
Pages in this Program
ICLP on Thursday, August 4th
ICLP Program
Program
Program for Thursday, August 4th