FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Filip Sieczkowski
Affiliation: University of Wrocław
Web page: http://ii.uni.wroc.pl/instytut/pracownicy/87
Pages in this Program
Program
Program for Saturday, July 4th