Login
Herausgeber:
Ambos-Spies, Klaus; Brattka, Vasco; Downey, Rodney; Lempp, Steffen
Dokumenttyp:
Konferenzband / Conference Publication
Titel:
Computability Theory (Dagstuhl Seminar 17081)
Zeitschrift:
Dagstuhl Reports
Jahrgang:
7
Heftnummer:
2
Konferenztitel:
Dagstuhl Seminar (2017, Wadern)
Tagungsort:
Dagstuhl, Wadern
Jahr der Konferenz:
2017
Verlagsort:
Dagstuhl, Germany
Verlag:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Jahr:
2017
Seiten von - bis:
89-101
Sprache:
Englisch
Stichwörter:
algorithmic randomness ; computability theory ; computable algebra ; computable analysis ; generic case complexity ; proof mining
ISSN:
2192-5283
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