Auflistung Workshops 2017 nach Workshop Code "1745"
Anzeige der Dokumente 1-1 von 1
-
1745 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-2017-53] (2017) - (05 Nov - 11 Nov 2017)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects ...