Completions of partial metrics into value lattices

From MaRDI portal
Publication:1014532