FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
St├ęphane Demri
Affiliation: CNRS, LMF, ENS Paris-Saclay
Web page: https://cv.archives-ouvertes.fr/stephane-demri
Pages in this Program
Organization