Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/cca:"
download as .bib file
@inproceedings{DBLP:conf/cca/AndreevM09,
author = {Valentin V. Andreev and
Timothy H. McNicholl},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computing Conformal Maps onto Canonical Slit Domains},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2256},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/cca/AndreevM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BauerB09,
author = {Andrej Bauer and
Jens Blanck},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Canonical Effective Subalgebras of Classical Algebras as Constructive
Metric Completions},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2257},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BauerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BauerHK09,
author = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {{CCA} 2009 Front Matter - Proceedings of the Sixth International Conference
on Computability and Complexity in Analysis},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2248},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BauerHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BauerHK09a,
author = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {{CCA} 2009 Preface - Proceedings of the Sixth International Conference
on Computability and Complexity in Analysis},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2249},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BauerHK09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Berger09,
author = {Ulrich Berger},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Realisability and Adequacy for (Co)induction},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2258},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Berger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BergerB09,
author = {Josef Berger and
Douglas S. Bridges},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {A Constructive Study of Landau's Summability Theorem},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2259},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BergerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BienvenuHKM09,
author = {Laurent Bienvenu and
Rupert H{\"{o}}lzl and
Thorsten Kr{\"{a}}ling and
Wolfgang Merkle},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Separations of Non-monotonic Randomness Notions},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2260},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BienvenuHKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BrattkaG09,
author = {Vasco Brattka and
Guido Gherardi},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Weihrauch Degrees, Omniscience Principles and Weak Computability},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2261},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BrattkaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BrattkaG09a,
author = {Vasco Brattka and
Guido Gherardi},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Effective Choice and Boundedness Principles in Computable Analysis},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2262},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BrattkaG09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Braverman09,
author = {Mark Braverman},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computability and Complexity of Julia Sets (Invited Talk)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2250},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Braverman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BrechtY09,
author = {Matthew de Brecht and
Akihiro Yamamoto},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Sigma0{\_}alpha - Admissible Representations (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2264},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BrechtY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Collins09,
author = {Pieter Collins},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computability of Homology for Compact Absolute Neighbourhood Retracts},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2263},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Collins09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/DienerS09,
author = {Hannes Diener and
Peter Schuster},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Uniqueness, Continuity, and Existence of Implicit Functions in Constructive
Analysis},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2265},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/DienerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Escardo09,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Theory and Practice of Higher-type Computation (Tutorial)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2254},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Escardo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Gassner09,
author = {Christine Ga{\ss}ner},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Relativizations of the {P} =? {DNP} Question for the {BSS} Model},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2266},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Gassner09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/GuLM09,
author = {Xiaoyang Gu and
Jack H. Lutz and
Elvira Mayordomo},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Curves That Must Be Retraced},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2267},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/GuLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Iljazovic09,
author = {Zvonko Iljazovic},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Effective Dispersion in Computable Metric Spaces},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2268},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Iljazovic09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kreinovich09,
author = {Vladik Kreinovich},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {From Interval Computations to Constraint-Related Set Computations:
Towards Faster Estimation of Statistics and ODEs under Interval and
p-Box Uncertainty (Invited Talk)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2251},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kreinovich09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/MielkeS09,
author = {J{\"{o}}ran Mielke and
Ludwig Staiger},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {On Oscillation-free epsilon-random Sequences {II}},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2269},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/MielkeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/MoriTY09,
author = {Takakazu Mori and
Yoshiki Tsujii and
Mariko Yasugi},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computability of Probability Distributions and Distribution Functions},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2270},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/MoriTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Pauly09,
author = {Arno Pauly},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {How Discontinuous is Computing Nash Equilibria? (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2271},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Pauly09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Rettinger09,
author = {Robert Rettinger},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Towards the Complexity of Riemann Mappings (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2272},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Rettinger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RettingerZ09,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {On the Computability of Rectifiable Simple Curve (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2273},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/RettingerZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Schroder09,
author = {Matthias Schr{\"{o}}der},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended
Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2274},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Schroder09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Scott09,
author = {Dana S. Scott},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Semilattices, Domains, and Computability (Invited Talk)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2252},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Scott09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/SpittersO09,
author = {Bas Spitters and
Russell O'Connor},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computer Verified Exact Analysis (Tutorial)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2255},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/SpittersO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/TsujiiMYT09,
author = {Yoshiki Tsujii and
Takakazu Mori and
Mariko Yasugi and
Hideki Tsuiki},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Random Iteration Algorithm for Graph-Directed Sets},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2275},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/TsujiiMYT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch09,
author = {Klaus Weihrauch},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computable Separation in Topology, from T{\_}0 to T{\_}3},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2276},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Zhong09,
author = {Ning Zhong},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computable Analysis of Differential Equations (Invited Talk)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2253},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Zhong09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Ziegler09,
author = {Martin Ziegler},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Real Computation with Least Discrete Advice: {A} Complexity Theory
of Nonuniform Computability},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2277},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Ziegler09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2009,
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09003/},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreevDM08,
author = {Valentin V. Andreev and
Dale Daniel and
Timothy H. McNicholl},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Technical Report: Computation on the Extended Complex Plane and Conformal
Mapping of Multiply-connected Domains},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {127--139},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.012},
doi = {10.1016/J.ENTCS.2008.12.012},
timestamp = {Fri, 17 Feb 2023 10:51:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreevDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlanckST08,
author = {Jens Blanck and
Viggo Stoltenberg{-}Hansen and
John V. Tucker},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Stability for Effective Algebras},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {3--15},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.002},
doi = {10.1016/J.ENTCS.2008.12.002},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlanckST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bosserhoff08a,
author = {Volker Bosserhoff},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On the Effective Existence of Schauder Bases: (Extended Abstract)},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {17--21},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.003},
doi = {10.1016/J.ENTCS.2008.12.003},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bosserhoff08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrattkaDGK08,
author = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Preface},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {1},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.001},
doi = {10.1016/J.ENTCS.2008.12.001},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaDGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CampagnoloO08,
author = {Manuel Lameiras Campagnolo and
Kerry Ojakian},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Characterizing Computable Analysis with Differential Equations},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {23--35},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.004},
doi = {10.1016/J.ENTCS.2008.12.004},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CampagnoloO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Collins08,
author = {Pieter Collins},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Computability and Representations of the Zero Set},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {37--43},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.005},
doi = {10.1016/J.ENTCS.2008.12.005},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Collins08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CollinsG08,
author = {Pieter Collins and
Daniel Silva Gra{\c{c}}a},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Effective Computability of Solutions of Ordinary Differential Equations
The Thousand Monkeys Approach},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {103--114},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.010},
doi = {10.1016/J.ENTCS.2008.12.010},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CollinsG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DillhageB08,
author = {Ruth Dillhage and
Vasco Brattka},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Computability of the Metric Projection Onto Finite-dimensional Linear
Subspaces},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {45--60},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.006},
doi = {10.1016/J.ENTCS.2008.12.006},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DillhageB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fouche08,
author = {Willem L. Fouch{\'{e}}},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {An Algorithmic Construction of Quantum Circuits of High Descriptive
Complexity},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {61--69},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.007},
doi = {10.1016/J.ENTCS.2008.12.007},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fouche08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gassner08,
author = {Christine Ga{\ss}ner},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On Relativizations of the {P} =? {NP} Question for Several Structures},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {71--83},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.008},
doi = {10.1016/J.ENTCS.2008.12.008},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gassner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GherardiM08,
author = {Guido Gherardi and
Alberto Marcone},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {How Incomputable is the Separable Hahn-Banach Theorem?},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {85--102},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.009},
doi = {10.1016/J.ENTCS.2008.12.009},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GherardiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KorovinaK08,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Towards Computability over Effectively Enumerable Topological Spaces},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {115--125},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.011},
doi = {10.1016/J.ENTCS.2008.12.011},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KorovinaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lesnik08,
author = {Davorin Lesnik},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Constructive Urysohn's Universal Metric Space},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {171--179},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.015},
doi = {10.1016/J.ENTCS.2008.12.015},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lesnik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mielke08,
author = {J{\"{o}}ran Mielke},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Refined Bounds on Kolmogorov Complexity for omega-Languages},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {181--189},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.016},
doi = {10.1016/J.ENTCS.2008.12.016},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mielke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoriYT08a,
author = {Takakazu Mori and
Mariko Yasugi and
Yoshiki Tsujii},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Integral of Two-dimensional Fine-computable Functions},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {141--152},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.013},
doi = {10.1016/J.ENTCS.2008.12.013},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoriYT08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MullerZ08,
author = {Norbert Th. M{\"{u}}ller and
Xishun Zhao},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Jordan Areas and Grids},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {191--206},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.017},
doi = {10.1016/J.ENTCS.2008.12.017},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MullerZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rettinger08a,
author = {Robert Rettinger},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Lower Bounds on the Continuation of Holomorphic Functions},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {207--217},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.018},
doi = {10.1016/J.ENTCS.2008.12.018},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RettingerWZ08,
author = {Robert Rettinger and
Klaus Weihrauch and
Ning Zhong},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Complexity of Blowup Problems: Extended Abstract},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {219--230},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.019},
doi = {10.1016/J.ENTCS.2008.12.019},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RettingerWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schroder08a,
author = {Matthias Schr{\"{o}}der},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {An Effective Tietze-Urysohn Theorem for QCB-Spaces: (Extended Abstract)},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {231--242},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.020},
doi = {10.1016/J.ENTCS.2008.12.020},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Schroder08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selivanov08a,
author = {Victor L. Selivanov},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On the Difference Hierarchy in Countably Based T\({}_{\mbox{0}}\)-Spaces},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {257--269},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.022},
doi = {10.1016/J.ENTCS.2008.12.022},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selivanov08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SelivanovaS08,
author = {Svetlana Selivanova and
Victor L. Selivanov},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Computing Solutions of Symmetric Hyperbolic Systems of PDE's},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {243--255},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.021},
doi = {10.1016/J.ENTCS.2008.12.021},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SelivanovaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Spreen08,
author = {Dieter Spreen},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On the Continuity of Effective Multifunctions},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {271--286},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.023},
doi = {10.1016/J.ENTCS.2008.12.023},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Spreen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Staiger08,
author = {Ludwig Staiger},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On Oscillation-free epsilon-random Sequences},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {287--297},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.024},
doi = {10.1016/J.ENTCS.2008.12.024},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Staiger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TsuikiY08,
author = {Hideki Tsuiki and
Shuji Yamada},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On Finite-time Computability Preserving Conversions},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {299--308},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.025},
doi = {10.1016/J.ENTCS.2008.12.025},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TsuikiY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZieglerK08,
author = {Martin Ziegler and
Wouter M. Koolen},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Kolmogorov Complexity Theory over the Reals},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {153--169},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.014},
doi = {10.1016/J.ENTCS.2008.12.014},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZieglerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2007,
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/202/suppl/C},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2008,
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/221/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaroniB08,
author = {Marian Alexandru Baroni and
Douglas S. Bridges},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Continuity Properties of Preference Relations},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {19--25},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.004},
doi = {10.1016/J.ENTCS.2008.03.004},
timestamp = {Thu, 09 Feb 2023 12:23:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaroniB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Batra08,
author = {Prashant Batra},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Newton's method and the Computational Complexity of the Fundamental
Theorem of Algebra},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {201--218},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.016},
doi = {10.1016/J.ENTCS.2008.03.016},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Batra08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauerK08,
author = {Andrej Bauer and
Iztok Kavkler},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Implementing Real Numbers With {RZ}},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {365--384},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.027},
doi = {10.1016/J.ENTCS.2008.03.027},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BauerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bosserhoff08,
author = {Volker Bosserhoff},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Notions of Probabilistic Computability on Represented Spaces},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {137--170},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.013},
doi = {10.1016/J.ENTCS.2008.03.013},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bosserhoff08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CenzerDK08,
author = {Douglas Cenzer and
S. Ali Dashti and
Jonathan L. F. King},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Effective Symbolic Dynamics},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {89--99},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.010},
doi = {10.1016/J.ENTCS.2008.03.010},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CenzerDK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuR08,
author = {Gabriel Ciobanu and
Danut Rusu},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Supermetrics over Apartness Lattice-Ordered Semigroup},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {191--200},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.015},
doi = {10.1016/J.ENTCS.2008.03.015},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dillhage08,
author = {Ruth Dillhage},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Computability of the Spectrum of Self-Adjoint Operators and the Computable
Operational Calculus},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {339--364},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.026},
doi = {10.1016/J.ENTCS.2008.03.026},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dillhage08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DillhageGSWZ08,
author = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Preface},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.001},
doi = {10.1016/J.ENTCS.2008.03.001},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DillhageGSWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GracaBC08,
author = {Daniel Silva Gra{\c{c}}a and
Jorge Buescu and
Manuel Lameiras Campagnolo},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Boundedness of the Domain of Definition is Undecidable for Polynomial
ODEs},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {49--57},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.007},
doi = {10.1016/J.ENTCS.2008.03.007},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GracaBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrubbaWX08,
author = {Tanja Grubba and
Klaus Weihrauch and
Yatao Xu},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Effectivity on Continuous Functions in Topological Spaces},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {237--254},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.018},
doi = {10.1016/J.ENTCS.2008.03.018},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrubbaWX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KoY08,
author = {Ker{-}I Ko and
Fuxiang Yu},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {On the Complexity of Convex Hulls of Subsets of the Two-Dimensional
Plane},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {121--135},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.012},
doi = {10.1016/J.ENTCS.2008.03.012},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KoY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuW08,
author = {Hong Lu and
Klaus Weihrauch},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Computable Riesz Representation for Locally Compact Hausdorff Spaces},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {3--12},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.002},
doi = {10.1016/J.ENTCS.2008.03.002},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuW08a,
author = {Dianchen Lu and
Qingyan Wang},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Computing the Solution of the m-Korteweg-de Vries Equation on Turing
Machines},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {219--236},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.017},
doi = {10.1016/J.ENTCS.2008.03.017},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LutzW08,
author = {Jack H. Lutz and
Klaus Weihrauch},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Connectivity Properties of Dimension Level Sets},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {295--304},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.022},
doi = {10.1016/J.ENTCS.2008.03.022},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LutzW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marcial-RomeroM08,
author = {Jos{\'{e}} Raymundo Marcial{-}Romero and
M. Andrew Moshier},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Sequential Real Number Computation and Recursive Relations},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {171--189},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.014},
doi = {10.1016/J.ENTCS.2008.03.014},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marcial-RomeroM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McNicholl08,
author = {Timothy H. McNicholl},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Uniformly Computable Aspects of Inner Functions},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {27--36},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.005},
doi = {10.1016/J.ENTCS.2008.03.005},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McNicholl08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoriYT08,
author = {Takakazu Mori and
Mariko Yasugi and
Yoshiki Tsujii},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Integral of Fine Computable functions and Walsh Fourier series},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {279--293},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.021},
doi = {10.1016/J.ENTCS.2008.03.021},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoriYT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MorozovK08,
author = {Andrei S. Morozov and
Margarita V. Korovina},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Remarks on Sigma-definability without the equality test over the Reals},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {305--313},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.023},
doi = {10.1016/J.ENTCS.2008.03.023},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MorozovK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moser08,
author = {Philippe Moser},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {On the Convergence of Fourier Series of Computable Lebesgue Integrable
Functions},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {13--18},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.003},
doi = {10.1016/J.ENTCS.2008.03.003},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Moser08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nandakumar08,
author = {Satyadev Nandakumar},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {A Characterization of Constructive Dimension},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {323--337},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.025},
doi = {10.1016/J.ENTCS.2008.03.025},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nandakumar08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rettinger08,
author = {Robert Rettinger},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {On the Computability of Blochs Constant},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {315--322},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.024},
doi = {10.1016/J.ENTCS.2008.03.024},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RouxZ08,
author = {St{\'{e}}phane Le Roux and
Martin Ziegler},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Singular Coverings and Non-Uniform Notions of Closed Set Computability},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {73--88},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.009},
doi = {10.1016/J.ENTCS.2008.03.009},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RouxZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schroder08,
author = {Matthias Schr{\"{o}}der},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {On the Relationship between Filter Spaces and Weak Limit Spaces},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {267--277},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.020},
doi = {10.1016/J.ENTCS.2008.03.020},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Schroder08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selivanov08,
author = {Victor L. Selivanov},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {On the Wadge Reducibility of k-Partitions},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {59--71},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.008},
doi = {10.1016/J.ENTCS.2008.03.008},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selivanov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Skordev08,
author = {Dimiter Skordev},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {e\({}^{\mbox{2}}\)-computability of e, pi and Other Famous Constants},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {37--47},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.006},
doi = {10.1016/J.ENTCS.2008.03.006},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Skordev08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Spandl08,
author = {Christoph Spandl},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Computability of Topological Pressure for Shifts of Finite Type with
Applications in Statistical Physics},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {385--401},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.028},
doi = {10.1016/J.ENTCS.2008.03.028},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Spandl08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhaoM08,
author = {Xishun Zhao and
Norbert Th. M{\"{u}}ller},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Complexity of Operators on Compact Sets},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {101--119},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.011},
doi = {10.1016/J.ENTCS.2008.03.011},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhaoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zheng08,
author = {Xizhong Zheng},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Finitely Bounded Effective Computability},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {255--265},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.019},
doi = {10.1016/J.ENTCS.2008.03.019},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zheng08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2006,
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/167/suppl/C},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarmpaliasM07,
author = {George Barmpalias and
Antonio Montalb{\'{a}}n},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {A Cappable Almost Everywhere Dominating Computably Enumerable Degree},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {17--31},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.005},
doi = {10.1016/J.ENTCS.2006.08.005},
timestamp = {Tue, 24 Jan 2023 11:08:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarmpaliasM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BienvenuM07,
author = {Laurent Bienvenu and
Wolfgang Merkle},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Effective Randomness for Computable Probability Measures},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {117--130},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.010},
doi = {10.1016/J.ENTCS.2006.08.010},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BienvenuM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bosserhoff07,
author = {Volker Bosserhoff},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computability of Solutions of Operator Equations},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {179--202},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.013},
doi = {10.1016/J.ENTCS.2006.08.013},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bosserhoff07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrattkaD07,
author = {Vasco Brattka and
Ruth Dillhage},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {On Computable Compact Operators on Banach Spaces},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {365--386},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.021},
doi = {10.1016/J.ENTCS.2006.08.021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brodhead07,
author = {Paul Brodhead},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Enumerations of Pi\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) Classes: Acceptability
and Decidable Classes},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {289--301},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.017},
doi = {10.1016/J.ENTCS.2006.08.017},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brodhead07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrodheadCR07,
author = {Paul Brodhead and
Douglas Cenzer and
Jeffrey B. Remmel},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Random Continuous Functions},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {275--287},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.016},
doi = {10.1016/J.ENTCS.2006.08.016},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrodheadCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CampagnoloO07,
author = {Manuel Lameiras Campagnolo and
Kerry Ojakian},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {The Methods of Approximation and Lifting in Real Computation},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {387--423},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.013},
doi = {10.1016/J.ENTCS.2006.09.013},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CampagnoloO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CenzerDGW07,
author = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Preface},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.001},
doi = {10.1016/J.ENTCS.2006.12.001},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CenzerDGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CenzerH07,
author = {Douglas Cenzer and
Peter G. Hinman},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Medvedev Degrees of Generalized {R.E.} separating Classes},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {203--223},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.014},
doi = {10.1016/J.ENTCS.2006.08.014},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CenzerH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenSZ07,
author = {Qingliang Chen and
Kaile Su and
Xizhong Zheng},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Primitive Recursiveness of Real Numbers under Different Representations},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {303--324},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.018},
doi = {10.1016/J.ENTCS.2006.08.018},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Franklin07,
author = {Johanna N. Y. Franklin},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Schnorr Trivial Reals: {A} construction},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {79--93},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.008},
doi = {10.1016/J.ENTCS.2006.08.008},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Franklin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrubbaW07,
author = {Tanja Grubba and
Klaus Weihrauch},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {On Computable Metrization},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {345--364},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.020},
doi = {10.1016/J.ENTCS.2006.08.020},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrubbaW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KoY07,
author = {Ker{-}I Ko and
Fuxiang Yu},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Jordan Curves with Polynomial Inverse Moduli of Continuity},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {425--447},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.022},
doi = {10.1016/J.ENTCS.2006.08.022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KoY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuW07,
author = {Hong Lu and
Klaus Weihrauch},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computable Riesz Representation for the Dual of {C}},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {157--177},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.012},
doi = {10.1016/J.ENTCS.2006.08.012},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lubarsky07,
author = {Robert S. Lubarsky},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {On the Cauchy Completeness of the Constructive Cauchy Reals},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {225--254},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.012},
doi = {10.1016/J.ENTCS.2006.09.012},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lubarsky07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McNicholl07,
author = {Timothy H. McNicholl},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computability and the Implicit Function Theorem},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {3--15},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.004},
doi = {10.1016/J.ENTCS.2006.08.004},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McNicholl07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schroder07,
author = {Matthias Schr{\"{o}}der},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Admissible Representations of Probability Measures},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {61--78},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.007},
doi = {10.1016/J.ENTCS.2006.08.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Schroder07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Spandl07,
author = {Christoph Spandl},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computing the Topological Entropy of Shifts},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {131--155},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.011},
doi = {10.1016/J.ENTCS.2006.08.011},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Spandl07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeihrauchZ07,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computable Analysis of the Abstract Cauchy Problem in a Banach Space
and Its Applications {(I)}},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {33--59},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.006},
doi = {10.1016/J.ENTCS.2006.08.006},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeihrauchZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Yu07,
author = {Fuxiang Yu},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {On the Complexity of the Pancake Problem},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {95--115},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.009},
doi = {10.1016/J.ENTCS.2006.08.009},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Yu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zheng07,
author = {Xizhong Zheng},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Classification of the Computable Approximations by Divergence Boundings},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {325--344},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.019},
doi = {10.1016/J.ENTCS.2006.08.019},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zheng07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ziegler07,
author = {Martin Ziegler},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Revising Type-2 Computation and Degrees of Discontinuity},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {255--274},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.015},
doi = {10.1016/J.ENTCS.2006.08.015},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ziegler07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/AkamaI05,
author = {Yohji Akama and
Shinji Iizuka},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Real Number Representations of Graph-Directed {IFS} Attractors},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {3--24},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/cca/AkamaI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Bauer05,
author = {Andrej Bauer},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Realizability as Connection between Constructive and Computable Mathematics},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {378--379},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Bauer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BauerT05,
author = {Andrej Bauer and
Paul Taylor},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {The Dedekind Reals in Abstract Stone Duality},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {25--64},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Fri, 05 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/BauerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Brattka05,
author = {Vasco Brattka},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Some Aspects of Computable Functional Analysis},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Brattka05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BridgesHS05,
author = {Douglas S. Bridges and
Robin Havea and
Peter Schuster},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Ideals in Constructive Banach Algebra Theory},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {65--75},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Wed, 06 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/BridgesHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BridgesV05,
author = {Douglas S. Bridges and
Luminita V{\^{\i}}ta},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {An Extension Theorem for Ultraweakly Continuous Linear Functionals
on B(X, {Y)}},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {77--89},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Wed, 07 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/BridgesV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/BridgesV05a,
author = {Douglas S. Bridges and
Luminita V{\^{\i}}ta},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Proximal Connectedness},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {91--101},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Wed, 07 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/BridgesV05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Escardo05,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Compactness in Topology and Computation},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {379},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Escardo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/FigueiraSW05,
author = {Santiago Figueira and
Frank Stephan and
Guohua Wu},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Randomness and Universal Machines},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {103--116},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Mon, 06 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/FigueiraSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/GrubbaW05,
author = {Tanja Grubba and
Klaus Weihrauch},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Computable Version of Dini's Theorem for Topological Spaces},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {117--129},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/GrubbaW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hagiya05,
author = {Masami Hagiya},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Molecular Computing and Real Number Computing},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hagiya05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hertling05,
author = {Peter Hertling},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Sequentially Computable Function that is not Effectively Continous
at any Point},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {131--148},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hertling05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hertling05a,
author = {Peter Hertling},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Computable Analysis via Representations},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {377},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hertling05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kamo05,
author = {Hiroyasu Kamo},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Computability and Computable Uniqueness of Urysohn's Universal Metric
Space},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {149--159},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kamo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kieu05,
author = {Tien D. Kieu},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Mathematical Computability Questions for some Classes of Linear and
Non-Linear Differential Equations Originated from Hilbert's Tenth
Problem},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {161--168},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kieu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kohno05,
author = {Takashi Kohno},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Design of Neuromorphic Hardwares},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {377--378},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kohno05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Lambov05,
author = {Branimir Lambov},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {RealLib: an Efficient Implementation of Exact Real Arithmetic},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {169--175},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Lambov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/MoriTY05,
author = {Takakazu Mori and
Yoshiki Tsujii and
Mariko Yasugi},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Fine Computable Functions and Effective Fine Convergence},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {177--197},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/MoriTY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller05,
author = {Norbert Th. M{\"{u}}ller},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Implementing Exact Real Numbers Efficiently},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {378},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Hierarchy of Turing Degrees for Divergence Bounded Computable Real
Numbers},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {199--209},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/SchroderS05,
author = {Matthias Schr{\"{o}}der and
Alex K. Simpson},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Representing Probability Measures using Probabilistic Processes},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {211--226},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/SchroderS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Takahashi05,
author = {Daisuke Takahashi},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Low Temperature Limit of Equations - Hidden Discrete Structure},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Takahashi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Taylor05,
author = {Paul Taylor},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Lambda Calculus for Real Analysis},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {227--266},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Fri, 05 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Taylor05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch05,
author = {Klaus Weihrauch},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Multi-Functions on Multi-Represented Sets are Closed under Flowchart
Programming},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {267--300},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/YasugiMT05,
author = {Mariko Yasugi and
Takakazu Mori and
Yoshiki Tsujii},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Effective Sequence of Uniformities and its Effective Limit},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {301--318},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/YasugiMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Yoshida05,
author = {Satoru Yoshida},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Generalized Functions with Pseudobounded Support in Constructive Mathematics},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {319--340},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Yoshida05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/YoshikawaY05,
author = {Atsushi Yoshikawa and
Mariko Yasugi},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Computable Versions of Basic Theorems in Functional Analysis},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {378},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/YoshikawaY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/YuCK05,
author = {Fuxiang Yu and
Arthur W. Chou and
Ker{-}I Ko},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {On the Complexity of Finding Circumscribed Rectangles for a Two-Dimensional
Domain},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {341--355},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/YuCK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Ziegler05,
author = {Martin Ziegler},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Effectively Open Real Functions},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {357--374},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Fri, 10 Oct 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Ziegler05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2004,
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/120/suppl/C},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2005,
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brattka05,
author = {Vasco Brattka},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {On the Borel Complexity of Hahn-Banach Extensions},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {3--16},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.011},
doi = {10.1016/J.ENTCS.2004.07.011},
timestamp = {Fri, 09 Dec 2022 13:20:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brattka05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrattkaSW05,
author = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Preface},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.033},
doi = {10.1016/J.ENTCS.2004.09.033},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Braverman05,
author = {Mark Braverman},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Hyperbolic Julia Sets are Poly-Time Computable},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {17--30},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.031},
doi = {10.1016/J.ENTCS.2004.06.031},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Braverman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BridgesV05,
author = {Douglas S. Bridges and
Luminita V{\^{\i}}ta},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A General Constructive Proof Technique},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {31--43},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.032},
doi = {10.1016/J.ENTCS.2004.06.032},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BridgesV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChouK05,
author = {Arthur W. Chou and
Ker{-}I Ko},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {On the Complexity of Finding Paths in a Two-Dimensional Domain {II:}
Piecewise Straight-Line Paths},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {45--57},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.033},
doi = {10.1016/J.ENTCS.2004.06.033},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChouK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hemmerling05,
author = {Armin Hemmerling},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Hierarchies of Function Classes Defined by the First-Value Operator:
(Extended Abstract)},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {59--72},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.034},
doi = {10.1016/J.ENTCS.2004.06.034},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hemmerling05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kamo05,
author = {Hiroyasu Kamo},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Effective Dini's Theorem on Effectively Compact Metric Spaces},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {73--82},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.035},
doi = {10.1016/J.ENTCS.2004.06.035},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kamo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kawamura05,
author = {Akitoshi Kawamura},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Type-2 Computability and Moore's Recursive Functions},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {83--95},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.036},
doi = {10.1016/J.ENTCS.2004.06.036},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kawamura05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kenny05,
author = {Robert J. Kenny},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Orbit Complexity and Entropy for Group Endomorphisms: (Extended Abstract)},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {97--110},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.037},
doi = {10.1016/J.ENTCS.2004.06.037},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kenny05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KunkleS05,
author = {Daren Kunkle and
Matthias Schr{\"{o}}der},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity
Theory},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {111--123},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.038},
doi = {10.1016/J.ENTCS.2004.06.038},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KunkleS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lambov05,
author = {Branimir Lambov},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Rates of Convergence of Recursively Defined Sequences},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {125--133},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.039},
doi = {10.1016/J.ENTCS.2004.06.039},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lambov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Raichev05,
author = {Alexander Raichev},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Relative Randomness and Real Closed Fields},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {135--143},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.040},
doi = {10.1016/J.ENTCS.2004.06.040},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Raichev05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rettinger05,
author = {Robert Rettinger},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {145--157},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.041},
doi = {10.1016/J.ENTCS.2004.06.041},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selivanov05,
author = {Victor L. Selivanov},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Variations on Wadge Reducibility Extended Abstract},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {159--171},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.042},
doi = {10.1016/J.ENTCS.2004.06.042},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selivanov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Takeuti05,
author = {Izumi Takeuti},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Transition Systems over Continuous Time-Space},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {173--186},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.043},
doi = {10.1016/J.ENTCS.2004.06.043},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Takeuti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TsujiiYM05,
author = {Yoshiki Tsujii and
Mariko Yasugi and
Takakazu Mori},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Sequential Computability of a Function: Diagonal Space and Limiting
Recursion},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {187--199},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.044},
doi = {10.1016/J.ENTCS.2004.06.044},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TsujiiYM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeihrauchZ05,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {An Algorithm for Computing Fundamental Solutions},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {201--215},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.045},
doi = {10.1016/J.ENTCS.2004.06.045},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeihrauchZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuW05,
author = {Yongcheng Wu and
Klaus Weihrauch},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Computable Version of the Daniell-Stone Theorem on Integration and
Linear Functionals},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {217--230},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.046},
doi = {10.1016/J.ENTCS.2004.06.046},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WuW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhengR05,
author = {Xizhong Zheng and
Robert Rettinger},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Note On the Turing Degrees of Divergence Bounded Computable Reals},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {231--237},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.047},
doi = {10.1016/J.ENTCS.2004.06.047},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhengR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Barmpalias02,
author = {George Barmpalias},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {On 0'-computable Reals},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {1--12},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80374-8},
doi = {10.1016/S1571-0661(04)80374-8},
timestamp = {Tue, 06 Dec 2022 09:35:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Barmpalias02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brattka02,
author = {Vasco Brattka},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Computing Uniform Bounds},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {13--24},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80375-X},
doi = {10.1016/S1571-0661(04)80375-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brattka02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrattkaSW02,
author = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Preface},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {225--226},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80392-5},
doi = {10.1016/S1571-0661(05)80392-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DowneyG02,
author = {Rodney G. Downey and
Evan J. Griffiths},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Schnorr Randomness},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {25--35},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80376-1},
doi = {10.1016/S1571-0661(04)80376-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DowneyG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DowneyHNS02,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Andr{\'{e}} Nies and
Frank Stephan},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Trivial Reals},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {36--52},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80377-3},
doi = {10.1016/S1571-0661(04)80377-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DowneyHNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuEMY02,
author = {Zilin Du and
Maria Eleftheriou and
Jos{\'{e}} E. Moreira and
Chee{-}Keng Yap},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Hypergeometric Functions in Exact Geometric Computation},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {53--64},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80378-5},
doi = {10.1016/S1571-0661(04)80378-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DuEMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hertling02,
author = {Peter Hertling},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {A Comparison of Certain Representations of Regularly Closed Sets},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {65--78},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80379-7},
doi = {10.1016/S1571-0661(04)80379-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hertling02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KalantariW02,
author = {Iraj Kalantari and
Larry Welch},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Recursive Quantum Functions, Avoidable Points, {\&} Shadow Points
in Recursive Analysis},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {79--90},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80380-3},
doi = {10.1016/S1571-0661(04)80380-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KalantariW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhanbanEL02,
author = {Ali Asghar Khanban and
Abbas Edalat and
Andr{\'{e}} Lieutier},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Computability of Partial Delaunay Triangulation and Voronoi Diagram},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {91--103},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80381-5},
doi = {10.1016/S1571-0661(04)80381-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhanbanEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Korovina02,
author = {Margarita V. Korovina},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Fixed Points on the Real Numbers without the Equality Test},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {104--112},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80382-7},
doi = {10.1016/S1571-0661(04)80382-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Korovina02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LangleyR02,
author = {Simon Langley and
Daniel Richardson},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {What can we do with a Solution?},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {113--126},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80383-9},
doi = {10.1016/S1571-0661(04)80383-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LangleyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miller02,
author = {Joseph S. Miller},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Effectiveness for Embedded Spheres and Balls},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {127--138},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80384-0},
doi = {10.1016/S1571-0661(04)80384-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Miller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Muller02,
author = {Norbert Th. M{\"{u}}ller},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Real Numbers and BDDs},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {139--153},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80385-2},
doi = {10.1016/S1571-0661(04)80385-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Muller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RettingerW02,
author = {Robert Rettinger and
Klaus Weihrauch},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {The Computational Complexity of Some Julia Sets},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {154--164},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80386-4},
doi = {10.1016/S1571-0661(04)80386-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RettingerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schroder02,
author = {Matthias Schr{\"{o}}der},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {A Natural Weak Limit Space with Admissible Representation which is
not a Limit Space},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {165--175},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80387-6},
doi = {10.1016/S1571-0661(04)80387-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Schroder02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tsuiki02,
author = {Hideki Tsuiki},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Representations of Complete Uniform Spaces via Uniform Domains},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {176--188},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80388-8},
doi = {10.1016/S1571-0661(04)80388-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tsuiki02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeihrauchZ02,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {The Solution Operator of the Korteweg-de Vries Equation is Computable},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {189--201},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80389-X},
doi = {10.1016/S1571-0661(04)80389-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeihrauchZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YasugiT02,
author = {Mariko Yasugi and
Yoshiki Tsujii},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Two Notions of Sequential Computability of a Function with Jumps},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {202--212},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80390-6},
doi = {10.1016/S1571-0661(04)80390-6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YasugiT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhengRB02,
author = {Xizhong Zheng and
Robert Rettinger and
Burchard von Braunm{\"{u}}hl},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Effectively Absolute Continuity and Effective Jordan Decomposability},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {213--224},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80391-8},
doi = {10.1016/S1571-0661(04)80391-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhengRB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2002,
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2000,
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45335-0},
doi = {10.1007/3-540-45335-0},
isbn = {3-540-42197-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Blanck00,
author = {Jens Blanck},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Effectivity of Regular Spaces},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_1},
doi = {10.1007/3-540-45335-0\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/cca/Blanck00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Blanck00a,
author = {Jens Blanck},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Exact Real Arithmetic Systems: Results of Competition},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {389--394},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_24},
doi = {10.1007/3-540-45335-0\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Blanck00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/DunlopP00,
author = {Anthony J. Dunlop and
Marian Boykan Pour{-}El},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The Degree of Unsolvability of a Real Number},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {16--29},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_2},
doi = {10.1007/3-540-45335-0\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/DunlopP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/GowlandL00,
author = {Paul Gowland and
David R. Lester},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {A Survey of Exact Arithmetic Implementations},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {30--47},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_3},
doi = {10.1007/3-540-45335-0\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/GowlandL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hemmerling00,
author = {Armin Hemmerling},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Standard Representations of Effective Metric Spaces},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {48--68},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_4},
doi = {10.1007/3-540-45335-0\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hemmerling00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hertling00,
author = {Peter Hertling},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Banach-Mazur Computable Functions on Metric Spaces},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {69--81},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_5},
doi = {10.1007/3-540-45335-0\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hertling00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/HurD00,
author = {Namhyun Hur and
James H. Davenport},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {A Generic Root Operation for Exact Real Arithmetic},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {82--87},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_6},
doi = {10.1007/3-540-45335-0\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/HurD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kamo00,
author = {Hiroyasu Kamo},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Effective Contraction Theorem and Its Application},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {88--100},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_7},
doi = {10.1007/3-540-45335-0\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kamo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kapoulas00,
author = {George Kapoulas},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Polynomially Time Computable Functions over p-Adic Fields},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {101--118},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_8},
doi = {10.1007/3-540-45335-0\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kapoulas00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kohlenbach00,
author = {Ulrich Kohlenbach},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {On the Computational Content of the Krasnoselski and Ishikawa Fixed
Point Theorems},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {119--145},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_9},
doi = {10.1007/3-540-45335-0\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kohlenbach00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/KorovinaK00,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Formalisation of Computability of Operators and Real-Valued Functionals
via Domain Theory},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {146--168},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_10},
doi = {10.1007/3-540-45335-0\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/KorovinaK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Krznaric00,
author = {Marko Krznaric},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computing a Required Absolute Precision from a Stream of Linear Fractional
Transformations},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {169--186},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_11},
doi = {10.1007/3-540-45335-0\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Krznaric00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/MeyssonnierBV00,
author = {Charles Meyssonnier and
Paolo Boldi and
Sebastiano Vigna},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {delta-Approximable Functions},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {187--199},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_12},
doi = {10.1007/3-540-45335-0\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/MeyssonnierBV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Mori00,
author = {Takakazu Mori},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computabilities of Fine-Continuous Functions},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {200--221},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_13},
doi = {10.1007/3-540-45335-0\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Mori00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller00,
author = {Norbert Th. M{\"{u}}ller},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The iRRAM: Exact Arithmetic in {C++}},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {222--252},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_14},
doi = {10.1007/3-540-45335-0\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Richardson00,
author = {Daniel Richardson},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The Uniformity Conjecture},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {253--272},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_15},
doi = {10.1007/3-540-45335-0\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Richardson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Schroder00,
author = {Matthias Schr{\"{o}}der},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Admissible Representations of Limit Spaces},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {273--295},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_16},
doi = {10.1007/3-540-45335-0\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Schroder00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Skordev00,
author = {Dimiter Skordev},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Characterization of the Computable Real Numbers by Means of Primitive
Recursive Functions},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {296--309},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_17},
doi = {10.1007/3-540-45335-0\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Skordev00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Takeuti00,
author = {Izumi Takeuti},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Effective Fixed Point Theorem over a Non-computably Separable Metric
Space},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {310--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_18},
doi = {10.1007/3-540-45335-0\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Takeuti00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Tsuiki00,
author = {Hideki Tsuiki},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computational Dimension of Topological Spaces},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {323--335},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_19},
doi = {10.1007/3-540-45335-0\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Tsuiki00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/TsujiiYM00,
author = {Yoshiki Tsujii and
Mariko Yasugi and
Takakazu Mori},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Some Properties of the Effective Uniform Topological Space},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {336--356},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_20},
doi = {10.1007/3-540-45335-0\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/TsujiiYM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch00,
author = {Klaus Weihrauch},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {On Computable Metric Spaces Tietze-Urysohn Extension Is Computable},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {357--368},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_21},
doi = {10.1007/3-540-45335-0\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/WeihrauchZ00,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Is the Linear Schr{\"{o}}dinger Propagator Turing Computable?},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {369--377},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_22},
doi = {10.1007/3-540-45335-0\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/WeihrauchZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/ZieglerB00,
author = {Martin Ziegler and
Vasco Brattka},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {A Computable Spectral Theorem},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {378--388},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_23},
doi = {10.1007/3-540-45335-0\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/ZieglerB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Brattka96,
author = {Vasco Brattka},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computable Invariance},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/brattka.ps},
timestamp = {Tue, 30 Jul 2019 14:53:11 +0200},
biburl = {https://dblp.org/rec/conf/cca/Brattka96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Ceola96,
author = {Corine Ceola},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Decidability of the graph of a map in the model of Blum, Shub and
Smale},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/ceola.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Ceola96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hertling96,
author = {Peter Hertling},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computable Real Functions: Type 1 Computability Versus Type 2 Computability},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/hertling.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hertling96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Ko96,
author = {Ker{-}I Ko},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Fractals and Complexity},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/ko.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Ko96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Meer96,
author = {Klaus Meer},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {On diagonal sets in uncountable structures},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/meer.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Meer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller96,
author = {Norbert Th. M{\"{u}}ller},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Towards a real Real {RAM:} a Prototype using {C++}},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/mueller.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Oliveira96,
author = {Wilson Rosa de Oliveira},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Program Schemes over Continuous Algebras},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/oliveira.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Oliveira96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Pour-ElZ96,
author = {Marian Boykan Pour{-}El and
Ning Zhong},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {The Wave Equation with Computable Initial Data Whose Unique Solution
is Nowhere Computable},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/pourel.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Pour-ElZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RichterW96,
author = {Marcel K. Richter and
Kam{-}Chau Wong},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computable Economic Analysis},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/wong.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/RichterW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Schroder96,
author = {Matthias Schr{\"{o}}der},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Fast Online Real Multiplication},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/schroeder.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Schroder96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch96,
author = {Klaus Weihrauch},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computability on the probability measures on the Borel sets of the
unit interval},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/weihrauch.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/WeihrauchZ96,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous
Real Functions},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/weihrauchzheng.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/WeihrauchZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/1996,
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/index.html},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 14:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
