Brattka, Vasco; Kawamura, Akitoshi; Marcone, Alberto; Pauly, Arno
Document type:
Konferenzband / Conference Publication
Title:
Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)
Series title:
Dagstuhl Reports
Volume:
5
Issue:
9
Conference title:
Dagstuhl Seminar (2016, Dagstuhl)
Venue:
Dagstuhl
Year of conference:
2016
Place of publication:
Dagstuhl, Germany
Publishing institution:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Year:
2016
Pages from - to:
77-104
Language:
Englisch
Keywords:
Computability and complexity in analysis ; computations on real numbers ; reducibilities ; descriptive complexity ; computational complexity ; reverse and constructive mathematics