Logo
User: Guest  Login
Editors:
Ambos-Spies, Klaus; Brattka, Vasco; Downey, Rodney; Lempp, Steffen 
Document type:
Konferenzband / Conference Publication 
Title:
Computability Theory (Dagstuhl Seminar 17081) 
Journal:
Dagstuhl Reports 
Volume:
Issue:
Conference title:
Dagstuhl Seminar (2017, Wadern) 
Venue:
Dagstuhl, Wadern 
Year of conference:
2017 
Place of publication:
Dagstuhl, Germany 
Publisher:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik 
Year:
2017 
Pages from - to:
89-101 
Language:
Englisch 
Keywords:
algorithmic randomness ; computability theory ; computable algebra ; computable analysis ; generic case complexity ; proof mining 
ISSN:
2192-5283 
Department:
Fakultät für Informatik 
Institute:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research 
Chair:
Brattka, Vasco 
Open Access yes or no?:
Nein / No