Article thumbnail
Location of Repository

CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

By Andrej Bauer, Peter Hertling, Ker-I Ko and Contributed Papers

Abstract

The Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, took place on August 18 to 22, 2009, in Ljubljana, Slovenia. The conference is concerned with Computable Analysis, the theory of computability and complexity over real-valued data. The conference program consisted of 4 invited talks, 2 tutorials of three talks each, and 24 contributed talks. These proceedings contain the abstracts or extended abstracts of the invited talks, tutorials, and a selection of 22 contributed articles

Topics: Computable analysis, computability, complexity, Turing machine, constructive mathematics, real number computation, computer arithmetic, exact real ari, Data processing Computer science
Publisher: OASIcs - OpenAccess Series in Informatics. 6th International Conference on Computability and Complexity in Analysis (CCA\u2709)
Year: 2009
DOI identifier: 10.4230/OASIcs.CCA.2009.2249
OAI identifier: oai:drops-oai.dagstuhl.de:2249
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://drops.dagstuhl.de/opus... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.