You are here: MIMS > EPrints
MIMS EPrints

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


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