FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Ian Pratt-Hartmann
Affiliation: University of Manchester
Web page: http://www.cs.man.ac.uk/~ipratt/
Pages in this Program
DECFOML on Sunday, July 31st
DECFOML Program
Program
Program for Sunday, July 31st