FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
David Geleßus
Affiliation: STUPS Group, Heinrich-Heine-Universität Düsseldorf
Pages in this Program
ICLP on Tuesday, August 2nd
ICLP Program
Program
Program for Tuesday, August 2nd
Slides
Slides