CCA C

26 papers

YearTitle / Authors
2008An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity.
Willem L. Fouché
2008An Effective Tietze-Urysohn Theorem for QCB-Spaces: (Extended Abstract).
Matthias Schröder
2008Characterizing Computable Analysis with Differential Equations.
Manuel Lameiras Campagnolo, Kerry Ojakian
2008Complexity of Blowup Problems: Extended Abstract.
Robert Rettinger, Klaus Weihrauch, Ning Zhong
2008Computability and Representations of the Zero Set.
Pieter Collins
2008Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces.
Ruth Dillhage, Vasco Brattka
2008Computing Solutions of Symmetric Hyperbolic Systems of PDE's.
Svetlana Selivanova, Victor L. Selivanov
2008Constructive Urysohn's Universal Metric Space.
Davorin Lesnik
2008Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach.
Pieter Collins, Daniel Silva Graça
2008How Incomputable is the Separable Hahn-Banach Theorem?
Guido Gherardi, Alberto Marcone
2008Integral of Two-dimensional Fine-computable Functions.
Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
2008Jordan Areas and Grids.
Norbert Th. Müller, Xishun Zhao
2008Kolmogorov Complexity Theory over the Reals.
Martin Ziegler, Wouter M. Koolen
2008Lower Bounds on the Continuation of Holomorphic Functions.
Robert Rettinger
2008On Finite-time Computability Preserving Conversions.
Hideki Tsuiki, Shuji Yamada
2008On Oscillation-free epsilon-random Sequences.
Ludwig Staiger
2008On Relativizations of the P =? NP Question for Several Structures.
Christine Gaßner
2008On the Continuity of Effective Multifunctions.
Dieter Spreen
2008On the Difference Hierarchy in Countably Based T
Victor L. Selivanov
2008On the Effective Existence of Schauder Bases: (Extended Abstract).
Volker Bosserhoff
2008Preface.
Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch
2008Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, CCA 2008, Hagen, Germany, August 21-24, 2008
Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch
2008Refined Bounds on Kolmogorov Complexity for omega-Languages.
Jöran Mielke
2008Stability for Effective Algebras.
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
2008Technical Report: Computation on the Extended Complex Plane and Conformal Mapping of Multiply-connected Domains.
Valentin V. Andreev, Dale Daniel, Timothy H. McNicholl
2008Towards Computability over Effectively Enumerable Topological Spaces.
Margarita V. Korovina, Oleg V. Kudinov