


default search action
Logical Methods in Computer Science, Special Issue 20
Special Issue for the "Seventh International Conference on Computability and Complexity in Analysis" [CCA 2010]
- Dag Normann:
Banach Spaces as Data Types. - Wesley Calvert
, Ken Kramer, Russell G. Miller:
Noncomputable functions in the Blum-Shub-Smale model. - Nazanin Tavana, Klaus Weihrauch:
Turing machines on represented sets, a model of computation for Analysis. - Zvonko Iljazovic:
Co-c.e. spheres and cells in computable metric spaces. - Tobias Gärtner, Martin Ziegler:
Real Analytic Machines and Degrees: A Topological View on Algebraic Limiting Computation. - Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman:
Algorithmic Randomness and Capacity of Closed Sets. - Mahdi Aliakbari, Massoud Pourmahdian:
Computational Models of Certain Hyperspaces of Quasi-metric Spaces. - Vassilios Gregoriades:
Computational Models of Certain Hyperspaces of Quasi-metric Spaces.

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.