License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.5.9.77
URN: urn:nbn:de:0030-drops-56861
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/5686/
Brattka, Vasco ;
Kawamura, Akitoshi ;
Marcone, Alberto ;
Pauly, Arno
Weitere Beteiligte (Hrsg. etc.): Vasco Brattka and Akitoshi Kawamura and Alberto Marcone and Arno Pauly
Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar
15392 "Measuring the Complexity of Computational Content: Weihrauch
Reducibility and Reverse Analysis." It includes abstracts on most
talks presented during the seminar, a list of open problems that
were discussed and partially solved during the meeting as well
as a bibliography on the seminar topic that we compiled during
the seminar.
BibTeX - Entry
@Article{brattka_et_al:DR:2016:5686,
author = {Vasco Brattka and Akitoshi Kawamura and Alberto Marcone and Arno Pauly},
title = {{Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)}},
pages = {77--104},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Vasco Brattka and Akitoshi Kawamura and Alberto Marcone and Arno Pauly},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5686},
URN = {urn:nbn:de:0030-drops-56861},
doi = {10.4230/DagRep.5.9.77},
annote = {Keywords: Computability and complexity in analysis, computations on real numbers, reducibilities, descriptive complexity, computational complexity, reverse and }
}
Keywords: |
|
Computability and complexity in analysis, computations on real numbers, reducibilities, descriptive complexity, computational complexity, reverse and |
Freie Schlagwörter (englisch): |
|
constructive mathematics |
Collection: |
|
Dagstuhl Reports, Volume 5, Issue 9 |
Issue Date: |
|
2016 |
Date of publication: |
|
19.01.2016 |