scientific article
From MaRDI portal
Publication:2871016
zbMath1290.68086MaRDI QIDQ2871016
Anthony Karel Seda, Pascal Hitzler
Publication date: 21 January 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items
Ultradiversities and their spherical completeness ⋮ Combinatorial properties of ultrametrics and generalized ultrametrics ⋮ Modular locally constant mappings in vector ultrametric spaces ⋮ Completeness in generalized ultrametric spaces ⋮ The range of ultrametrics, compactness, and separability