Generalized ultrametrics, domains and an application to computational logic

MaRDI QIDQ2871016zbMATH OpenFDO

Authors Anthony Karel Seda, Pascal Hitzler

Publication date 21 January 2014

Published in Irish Mathematical Society Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Logic programming (68N17) Mechanization of proofs and logical operations (03B35) Semantics in the theory of computing (68Q55)

Cited in

(5)

• Modular locally constant mappings in vector ultrametric spaces
• Ultradiversities and their spherical completeness
• Combinatorial properties of ultrametrics and generalized ultrametrics
• The range of ultrametrics, compactness, and separability
• Completeness in generalized ultrametric spaces

This page was built for publication: Generalized ultrametrics, domains and an application to computational logic

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