Published in: Dagstuhl Reports, Volume 15, Issue 3 (2025)
Vasco Brattka, Alberto Marcone, Arno Pauly, Linda Westrick, and Kenneth Gill. Weihrauch Complexity: Structuring the Realm of Non-Computability (Dagstuhl Seminar 25131). In Dagstuhl Reports, Volume 15, Issue 3, pp. 125-158, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Article{brattka_et_al:DagRep.15.3.125,
author = {Brattka, Vasco and Marcone, Alberto and Pauly, Arno and Westrick, Linda and Gill, Kenneth},
title = {{Weihrauch Complexity: Structuring the Realm of Non-Computability (Dagstuhl Seminar 25131)}},
pages = {125--158},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2025},
volume = {15},
number = {3},
editor = {Brattka, Vasco and Marcone, Alberto and Pauly, Arno and Westrick, Linda and Gill, Kenneth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.3.125},
URN = {urn:nbn:de:0030-drops-248965},
doi = {10.4230/DagRep.15.3.125},
annote = {Keywords: combinatorial problems, computability and complexity, computable analysis, reverse and constructive mathematics, Weihrauch reducibility and related reducibilities}
}
Published in: Dagstuhl Reports, Volume 8, Issue 9 (2019)
Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, and Arno Pauly. Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361). In Dagstuhl Reports, Volume 8, Issue 9, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{brattka_et_al:DagRep.8.9.1,
author = {Brattka, Vasco and Dzhafarov, Damir D. and Marcone, Alberto and Pauly, Arno},
title = {{Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361)}},
pages = {1--28},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {9},
editor = {Brattka, Vasco and Dzhafarov, Damir D. and Marcone, Alberto and Pauly, Arno},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.9.1},
URN = {urn:nbn:de:0030-drops-103270},
doi = {10.4230/DagRep.8.9.1},
annote = {Keywords: Computability and complexity in analysis, computations on real numbers, reducibilities, descriptive complexity, computational complexity, reverse and}
}
Published in: Dagstuhl Reports, Volume 5, Issue 9 (2016)
Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, and Arno Pauly. Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). In Dagstuhl Reports, Volume 5, Issue 9, pp. 77-104, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{brattka_et_al:DagRep.5.9.77,
author = {Brattka, Vasco and Kawamura, Akitoshi and Marcone, Alberto and Pauly, Arno},
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 = {Brattka, Vasco and Kawamura, Akitoshi and Marcone, Alberto and Pauly, Arno},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.77},
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 constructive mathematics}
}