Participant List : Druckversion


September 10 – 15 , 2017, Dagstuhl Seminar 17371
Last update: March 8 2018

Deduction Beyond First-Order Logic

Participants



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

Participant List : Last Update 15.10.2019, 05:30 o'clock