Ultrametric spaces and logic programming

DOI10.1016/S0743-1066(99)00002-3MaRDI QIDQ4939540zbMATH OpenFDO

Authors Sibylla Priess-Crampe, Paulo Ribenboim

Publication date 6 February 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00002-3

zbMATH Keywords

multivalued fixed point theoremultrametric spaces

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:4943162
• scientific article; zbMATH DE number 1824109
• The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices
• Fixed point theorems in cone ultrametric spaces
• scientific article; zbMATH DE number 6102702

Cited in

(23)

• Fixed points and stable balls in ultrametric spaces
• Generalized metrics and uniquely determined logic programs.
• Remarks on ultrametrics and metric-preserving functions
• Logic programs, iterated function systems, and recurrent radial basis function networks
• Combinatorial properties of ultrametrics and generalized ultrametrics
• Penot's compactness property in ultrametric spaces with an application
• A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures
• The range of ultrametrics, compactness, and separability
• The fixed-point theory of strictly causal functions
• The Banaschewski compactification revisited
• Fixed points and diametral sets for sequentially bounded mappings in orbital ultrametric spaces
• Interval metrics, topology and continuous functions
• Metric Methods Three Examples and a Theorem
• On the coincidence of semantics for uniquely determined programs
• scientific article; zbMATH DE number 1415884 (Why is no real title available?)
• The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices
• Reaching fixed points as limits in subspaces
• Modular locally constant mappings in vector ultrametric spaces
• Comparison between ultrametric space and ultra-suprametric space
• Extended b-metric preserving functions
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
• On ultrametrics, b-metrics, w-distances, metric-preserving functions, and fixed point theorems
• Ultradiversities and their spherical completeness

This page was built for publication: Ultrametric spaces and logic programming

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