Effective Dispersion in Computable Metric Spaces

DOI10.4230/OASICS.CCA.2009.2268zbMath1247.03092OpenAlexW1479762598MaRDI QIDQ2917331

Zvonko Iljazović

Publication date: 28 September 2012

Full work available at URL: https://dblp.uni-trier.de/db/conf/cca/cca2009.html#Iljazovic09

zbMATH Keywords

computable metric spacecomputability structureeffective separating sequenceeffectively dispeffectively totally bounded computable metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (1)

Unnamed Item

This page was built for publication: Effective Dispersion in Computable Metric Spaces