On the extension of a partial metric to a tree metric

From MaRDI portal
Publication:1422428