2026-08-12T00:37:38Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5686 2024-03-06T10:26:27Z ddc:004 open_access

Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392) Brattka, Vasco Kawamura, Akitoshi Marcone, Alberto Pauly, Arno Computability and complexity in analysis computations on real numbers reducibilities descriptive complexity computational complexity reverse and constructive mathematics 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Vasco Brattka and Akitoshi Kawamura and Alberto Marcone and Arno Pauly 2016 Is Part Of Dagstuhl Reports, Volume 5, Issue 9 (2016) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.5.9.77 urn:nbn:de:0030-drops-56861 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.77 eng https://creativecommons.org/licenses/by/3.0/legalcode