Ultrametric spaces and logic programming-Reference-Cited by-同舟云学术

Ultrametric spaces and logic programming

Published:2000-02 Issue:2 Volume:42 Page:59-70
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Priess-Crampe Sibylla,Ribenboim Paulo

Publisher

Elsevier BV

Subject

Logic

Reference9 articles.

1. From Logic to Logic Programming. Foundations of Computing Series;Doets,1994

2. Metric methods, three examples and a theorem;Fitting;J. Logic Programming,1994

3. A new method of proving the existence of answer sets for disjunctive logic programs: a metric fixed point theorem for multi-valued mappings;Khamsi,1993

4. Multi-valued contracting mappings;Nadler;Pacific J. Math.,1969

5. Fixed points, combs and generalized power series;Priess-Crampe;Abh. Math. Sem. Univ. Hamburg,1993

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On ultrametrics, b-metrics, w-distances, metric-preserving functions, and fixed point theorems;Fixed Point Theory and Algorithms for Sciences and Engineering;2024-05-06

2. Metric fixed point theory and partial impredicativity;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

3. Recent Advances on Metric Fixed Point Theory: A Review;Applied and Computational Mathematics;2023

4. The range of ultrametrics, compactness, and separability;Topology and its Applications;2022-01

5. A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures;Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas;2021-07-04