<h2>OASIcs, Volume 11, CCA 2009</h2>
<ul>
<li>
<span class="authors">Andrej Bauer, Peter Hertling, and Ker-I Ko</span>
<span class="title">OASIcs, Volume 11, CCA'09, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009">10.4230/OASIcs.CCA.2009</a>
</li>
<li>
<span class="authors">Andrej Bauer, Peter Hertling, and Ker-I Ko</span>
<span class="title">CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2248">10.4230/OASIcs.CCA.2009.2248</a>
</li>
<li>
<span class="authors">Andrej Bauer, Peter Hertling, and Ker-I Ko</span>
<span class="title">CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2249">10.4230/OASIcs.CCA.2009.2249</a>
</li>
<li>
<span class="authors">Mark Braverman</span>
<span class="title">Computability and Complexity of Julia Sets (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2250">10.4230/OASIcs.CCA.2009.2250</a>
</li>
<li>
<span class="authors">Vladik Kreinovich</span>
<span class="title">From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2251">10.4230/OASIcs.CCA.2009.2251</a>
</li>
<li>
<span class="authors">Dana Scott</span>
<span class="title">Semilattices, Domains, and Computability (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2252">10.4230/OASIcs.CCA.2009.2252</a>
</li>
<li>
<span class="authors">Ning Zhong</span>
<span class="title">Computable Analysis of Differential Equations (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2253">10.4230/OASIcs.CCA.2009.2253</a>
</li>
<li>
<span class="authors">Martin Escardó</span>
<span class="title">Theory and Practice of Higher-type Computation (Tutorial)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2254">10.4230/OASIcs.CCA.2009.2254</a>
</li>
<li>
<span class="authors">Bas Spitters and Russell O'Connor</span>
<span class="title">Computer Verified Exact Analysis (Tutorial)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2255">10.4230/OASIcs.CCA.2009.2255</a>
</li>
<li>
<span class="authors">Valentin V. Andreev and Timothy H. McNicholl</span>
<span class="title">Computing Conformal Maps onto Canonical Slit Domains</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2256">10.4230/OASIcs.CCA.2009.2256</a>
</li>
<li>
<span class="authors">Andrej Bauer and Jens Blanck</span>
<span class="title">Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2257">10.4230/OASIcs.CCA.2009.2257</a>
</li>
<li>
<span class="authors">Ulrich Berger</span>
<span class="title">Realisability and Adequacy for (Co)induction</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2258">10.4230/OASIcs.CCA.2009.2258</a>
</li>
<li>
<span class="authors">Josef Berger and Douglas Bridges</span>
<span class="title">A Constructive Study of Landau's Summability Theorem</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2259">10.4230/OASIcs.CCA.2009.2259</a>
</li>
<li>
<span class="authors">Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, and Wolfgang Merkle</span>
<span class="title">Separations of Non-monotonic Randomness Notions</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2260">10.4230/OASIcs.CCA.2009.2260</a>
</li>
<li>
<span class="authors">Vasco Brattka and Guido Gherardi</span>
<span class="title">Weihrauch Degrees, Omniscience Principles and Weak Computability</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2261">10.4230/OASIcs.CCA.2009.2261</a>
</li>
<li>
<span class="authors">Vasco Brattka and Guido Gherardi</span>
<span class="title">Effective Choice and Boundedness Principles in Computable Analysis</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2262">10.4230/OASIcs.CCA.2009.2262</a>
</li>
<li>
<span class="authors">Pieter Collins</span>
<span class="title">Computability of Homology for Compact Absolute Neighbourhood Retracts</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2263">10.4230/OASIcs.CCA.2009.2263</a>
</li>
<li>
<span class="authors">Matthew de Brecht and Akihiro Yamamoto</span>
<span class="title">Sigma^0_alpha - Admissible Representations (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2264">10.4230/OASIcs.CCA.2009.2264</a>
</li>
<li>
<span class="authors">Hannes Diener and Peter Schuster</span>
<span class="title">Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2265">10.4230/OASIcs.CCA.2009.2265</a>
</li>
<li>
<span class="authors">Christine Gaßner</span>
<span class="title">Relativizations of the P =? DNP Question for the BSS Model</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2266">10.4230/OASIcs.CCA.2009.2266</a>
</li>
<li>
<span class="authors">Xiaoyang Gu, Jack H. Lutz, and Elvira Mayordomo</span>
<span class="title">Curves That Must Be Retraced</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2267">10.4230/OASIcs.CCA.2009.2267</a>
</li>
<li>
<span class="authors">Zvonko Iljazovic</span>
<span class="title">Effective Dispersion in Computable Metric Spaces</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2268">10.4230/OASIcs.CCA.2009.2268</a>
</li>
<li>
<span class="authors">Jöran Mielke and Ludwig Staiger</span>
<span class="title">On Oscillation-free epsilon-random Sequences II</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2269">10.4230/OASIcs.CCA.2009.2269</a>
</li>
<li>
<span class="authors">Takakazu Mori, Yoshiki Tsujii, and Mariko Yasugi</span>
<span class="title">Computability of Probability Distributions and Distribution Functions</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2270">10.4230/OASIcs.CCA.2009.2270</a>
</li>
<li>
<span class="authors">Arno Pauly</span>
<span class="title">How Discontinuous is Computing Nash Equilibria? (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2271">10.4230/OASIcs.CCA.2009.2271</a>
</li>
<li>
<span class="authors">Robert Rettinger</span>
<span class="title">Towards the Complexity of Riemann Mappings (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2272">10.4230/OASIcs.CCA.2009.2272</a>
</li>
<li>
<span class="authors">Robert Rettinger and Xizhong Zheng</span>
<span class="title">On the Computability of Rectifiable Simple Curve (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2273">10.4230/OASIcs.CCA.2009.2273</a>
</li>
<li>
<span class="authors">Matthias Schröder</span>
<span class="title">A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2274">10.4230/OASIcs.CCA.2009.2274</a>
</li>
<li>
<span class="authors">Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, and Hideki Tsuiki</span>
<span class="title">Random Iteration Algorithm for Graph-Directed Sets</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2275">10.4230/OASIcs.CCA.2009.2275</a>
</li>
<li>
<span class="authors">Klaus Weihrauch</span>
<span class="title">Computable Separation in Topology, from T_0 to T_3</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2276">10.4230/OASIcs.CCA.2009.2276</a>
</li>
<li>
<span class="authors">Martin Ziegler</span>
<span class="title">Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.CCA.2009.2277">10.4230/OASIcs.CCA.2009.2277</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing