Ultrametric spaces and logic programming
From MaRDI portal
Publication:4939540
DOI10.1016/S0743-1066(99)00002-3zbMath0944.68027MaRDI QIDQ4939540
Sibylla Priess-Crampe, Paulo Ribenboim
Publication date: 6 February 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Ultradiversities and their spherical completeness ⋮ Logic programs, iterated function systems, and recurrent radial basis function networks ⋮ Interval metrics, topology and continuous functions ⋮ Fixed points and stable balls in ultrametric spaces ⋮ Remarks on ultrametrics and metric-preserving functions ⋮ Generalized metrics and uniquely determined logic programs. ⋮ Reaching fixed points as limits in subspaces ⋮ Combinatorial properties of ultrametrics and generalized ultrametrics ⋮ Modular locally constant mappings in vector ultrametric spaces ⋮ The fixed-point theory of strictly causal functions ⋮ On the Coincidence of Semantics for Uniquely Determined Programs ⋮ 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 ⋮ Fixed points and diametral sets for sequentially bounded mappings in orbital ultrametric spaces ⋮ The Banaschewski compactification revisited
This page was built for publication: Ultrametric spaces and logic programming