FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Bernhard Beckert
Affiliation: Karlsruhe Institute of Technology, Germany
Web page: http://formal.iti.kit.edu/beckert/
Pages in this Program
IJCAR on Tuesday, August 9th
IJCAR Program
Organization
Program
Program for Tuesday, August 9th