Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)

Brattka, Vasco; Kawamura, Akitoshi; Marcone, Alberto; Pauly, Arno

doi:10.4230/DagRep.5.9.77

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: https://drops.dagstuhl.de/opus/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)

pdf-format:

dagrep_v005_i009_p077_s15392.pdf (1 MB)

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

19.01.2016

Keywords: Computability and complexity in analysis, computations on real numbers, reducibilities, descriptive complexity, computational complexity, reverse and

Freie Schlagwörter (englisch): constructive mathematics

Seminar: Dagstuhl Reports, Volume 5, Issue 9

Issue date: 2016

Date of publication: 19.01.2016

Keywords:		Computability and complexity in analysis, computations on real numbers, reducibilities, descriptive complexity, computational complexity, reverse and
Freie Schlagwörter (englisch):		constructive mathematics
Seminar:		Dagstuhl Reports, Volume 5, Issue 9
Issue date:		2016
Date of publication:		19.01.2016