FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Martina Seidl
Affiliation: Johannes Kepler University Linz
Pages in this Program
Organization
PAAR on Thursday, August 11th
PAAR Program
Program
Program for Thursday, August 11th