Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
On the Uniform Computational Content of the Baire Category Theorem
Zeitschrift:
Notre Dame Journal of Formal Logic
Jahrgang:
59
Heftnummer:
4
Jahr:
2018
Seiten von - bis:
605-636
Sprache:
Englisch
ISSN:
0029-4527 ; 1939-0726
URL zum Inhalt:
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
BibTeX