Browsing Workshops 2020 by Workshop Code "2046"
Now showing items 1-1 of 1
-
2046 - Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)
[OWR-2020-34] (2020) - (08 Nov - 14 Nov 2020)The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given ...