Brattka, Vasco; Kawamura, Akitoshi; Marcone, Alberto; Pauly, Arno
Dokumenttyp:
Konferenzband / Conference Publication
Titel:
Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)
Reihentitel:
Dagstuhl Reports
Jahrgang:
5
Heftnummer:
9
Konferenztitel:
Dagstuhl Seminar (2016, Dagstuhl)
Tagungsort:
Dagstuhl
Jahr der Konferenz:
2016
Verlagsort:
Dagstuhl, Germany
Verlegende Institution:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Jahr:
2016
Seiten von - bis:
77-104
Sprache:
Englisch
Stichwörter:
Computability and complexity in analysis ; computations on real numbers ; reducibilities ; descriptive complexity ; computational complexity ; reverse and constructive mathematics