License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.1.10.14
URN: urn:nbn:de:0030-drops-33721
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3372/
Berger, Ulrich ;
Brattka, Vasco ;
Selivanov, Victor ;
Spreen, Dieter ;
Tsuiki, Hideki
Weitere Beteiligte (Hrsg. etc.): Ulrich Berger and Vasco Brattka and Victor Selivanov and Dieter Spreen and Hideki Tsuiki
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
Abstract
There is a large gap between mathematical structures and the structures computer implementations are based on. To stimulate research to overcome this---especially for infinitary structures---highly non-trivial problem the Dagstuhl Seminar 11411 ``Computing with Infinite Data: Topological and Logical Foundations'' was held. This report collects the ideas that were presented and discussed during the course of the seminar.
BibTeX - Entry
@Article{berger_et_al:DR:2012:3372,
author = {Ulrich Berger and Vasco Brattka and Victor Selivanov and Dieter Spreen and Hideki Tsuiki},
title = {{Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)}},
pages = {14--36},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
editor = {Ulrich Berger and Vasco Brattka and Victor Selivanov and Dieter Spreen and Hideki Tsuiki},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3372},
URN = {urn:nbn:de:0030-drops-33721},
doi = {10.4230/DagRep.1.10.14},
annote = {Keywords: Exact real number computation, Stream computation, Infinite computations, Computability in analysis, Hierarchies, Reducibility, Topological complexity}
}
Keywords: |
|
Exact real number computation, Stream computation, Infinite computations, Computability in analysis, Hierarchies, Reducibility, Topological complexity |
Collection: |
|
Dagstuhl Reports, Volume 1, Issue 10 |
Issue Date: |
|
2012 |
Date of publication: |
|
18.01.2012 |