FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
PROGRAM
AUTHORS
KEYWORDS
Andrej Dudenhefner
Affiliation:
Saarland University
Web page:
https://www.ps.uni-saarland.de/~dudenhefner/
Pages in this Program
Program
Program for Thursday, July 2nd
Disclaimer
|
Powered by EasyChair Smart Program