FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Konstantin Korovin
Affiliation: The University of Manchester
Web page: http://www.cs.man.ac.uk/~korovink
Pages in this Program
Accepted Papers
IJCAR 2022 on Monday, August 8th
IJCAR 2022 Program
Program
Program for Monday, August 8th