Generalized ultrametrics, domains and an application to computational logic

zbMATH Open1290.68086MaRDI QIDQ2871016FDOQ2871016

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)