License
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://drops.dagstuhl.de/opus/volltexte/2016/5686/
Go back to Dagstuhl Reports


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

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


DROPS-Home | Fulltext Search | Imprint Published by LZI