Dagstuhl Seminar “Deduction Beyond First-Order Logic"

Activity: Participating in or organising event(s)Participating in a conference, workshop, exhibition, performance, inquiry, course etcResearch

Description

Invited participant
Period11 Sept 201715 Sept 2017
Event typeSeminar
Degree of RecognitionInternational