September 12 – 17 , 2021, Dagstuhl Seminar 21371
Last update: February 21 2022

Integrated Deduction

Participants



In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner