Effective dispersion in computable metric spaces

DOI10.4230/OASICS.CCA.2009.2268zbMATH Open1247.03092OpenAlexW1479762598MaRDI QIDQ2917331FDOQ2917331

Zvonko Iljazovic

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

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

Cited In (2)

• Title not available (Why is that?)
• Metrization of the Uniform Space and Effective Convergence

This page was built for publication: Effective dispersion in computable metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2917331)