Skip to content

International Conference on Computability and Complexity in Analysis

CCA

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

95

1996–2009

Papers per year

199630 peak2009

CCA papers

95 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2000Effective Contraction Theorem and Its Application.Hiroyasu Kamo
2000A Generic Root Operation for Exact Real Arithmetic.Namhyun Hur, James H. Davenport
2000Banach-Mazur Computable Functions on Metric Spaces.Peter Hertling
2000Standard Representations of Effective Metric Spaces.Armin Hemmerling
2000A Survey of Exact Arithmetic Implementations.Paul Gowland, David R. Lester
2000The Degree of Unsolvability of a Real Number.Anthony J. Dunlop, Marian Boykan Pour-El
2000Exact Real Arithmetic Systems: Results of Competition.Jens Blanck
2000Effectivity of Regular Spaces.Jens Blanck
1996Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions.Klaus Weihrauch, Xizhong Zheng
1996Computability on the probability measures on the Borel sets of the unit interval.Klaus Weihrauch
1996Fast Online Real Multiplication.Matthias Schrder
1996Computable Economic Analysis.Marcel K. Richter, Kam-Chau Wong
1996The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable.Marian Boykan Pour-El, Ning Zhong
1996Program Schemes over Continuous Algebras.Wilson Rosa de Oliveira
1996Towards a real Real RAM: a Prototype using C++.Norbert Th. Mller
1996On diagonal sets in uncountable structures.Klaus Meer
1996Fractals and Complexity.Ker-I Ko
1996Computable Real Functions: Type 1 Computability Versus Type 2 Computability.Peter Hertling
1996Decidability of the graph of a map in the model of Blum, Shub and Smale.Corine Ceola
1996Computable Invariance.Vasco Brattka

Comparable venues

Other A*/A conferences filed under the same field of research.