Login
Dokumenttyp:
Vortrag / Presentation
Titel:
The discontinuity problem
Untertitel:
(invited talk)
Titel Konferenzpublikation:
Mathematical Logic: Proof Theory, Constructive Mathematics
Untertitel Konferenzpublikation:
(hybrid meeting)
Konferenztitel:
Mathematical Logic: Proof Theory, Constructive Mathematics (2020, Virtuell)
Tagungsort:
Virtuell
Jahr der Konferenz:
2020
Datum Beginn der Konferenz:
08.11.2020
Datum Ende der Konferenz:
14.11.2020
Jahr:
2020
Seiten von - bis:
1699-1700
Sprache:
Englisch
DOI:
Fakultät:
Fakultät für Informatik
Institut:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Professur:
Brattka, Vasco
Open Access ja oder nein?:
Nein / No
Vortrag bei:
Workshop - Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach
Sonstige Angaben:
Der Konferenzband enthält nur das Abstract
BibTeX