FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
David Cerna
Affiliation: Research Institute for Symbolic Computation (RISC)
Web page: https://www.risc.jku.at/home/dcerna
Pages in this Program
Program
Program for Thursday, July 2nd