Publication:3633259
From MaRDI portal
zbMath1170.54010MaRDI QIDQ3633259
Publication date: 18 June 2009
54E35: Metric spaces, metrizability
68Q55: Semantics in the theory of computing
54E15: Uniform structures and generalizations
06B35: Continuous lattices and posets, applications
54E25: Semimetric spaces
Related Items
Unnamed Item, Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation