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} }