Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem

Romaguera Bonilla, Salvador; Tirado Peláez, Pedro (SPRINGER INTERNATIONAL PUBLISHING AG, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, 2015-10)

We obtain a quasi-metric generalization of Caristi's fixed point theorem for a kind of complete quasi-metric spaces. With the help of a suitable modification of its proof, we deduce a characterization of Smyth complete ...
New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces

Romaguera Bonilla, Salvador; Tirado Peláez, Pedro; Valero Sierra, Óscar (Taylor & Francis Ltd, 2012)

Schellekens [The Smyth completion: A common foundation for denotational semantics and complexity analysis, Electron. Notes Theor. Comput. Sci. 1 (1995), pp. 211-232.] introduced the theory of complexity (quasi-metric) ...
Topological and Computational Models for Fuzzy Metric Spaces via Domain Theory

RICARTE MORENO, LUIS-ALBERTO (Universitat Politècnica de València, 2013-12-23)

This doctoral thesis is devoted to investigate the problem of establishing connections between Domain Theory and the theory of fuzzy metric spaces, in the sense of Kramosil and Michalek, by means of the notion of a formal ...

Mostrando ítems 1-3 de 3