2011.48: The finite Language for Computable Metric Spaces
2011.48: Margarita Korovina and Oleg Kudinov (2011) The finite Language for Computable Metric Spaces. In: Benedikt Löwe, Dag Normann, Iavn Soskov and Alexandra Soskova, (eds). Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011. Springer Lecture Notes in Computer Science (6735). Springer-Verlag, Heidleberg.
Full text available as:
 | PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 164 Kb |
Abstract
In this paper we propose a model-theoretic characterisation of computable metric spaces and computability over them in a finite language.
| Item Type: | Book Section |
|---|---|
| Uncontrolled Keywords: | CICADA, computable metric space |
| Subjects: | MSC 2000 > 68 Computer science |
| MIMS number: | 2011.48 |
| Deposited By: | Dr Margarita Korovina |
| Deposited On: | 24 June 2011 |
Download Statistics: last 4 weeks
Repository Staff Only: edit this item