The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words

Topology and its Applications

Volumn 154, Issue 10 SPECIAL ISSUE, 2007, Pages 2196-2203

  Romaguera, S ^a   Sapena, A ^a   Tirado, P ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Algorithm; B contraction; Domain of words; G bicomplete; Non Archimedean fuzzy quasi metric

Indexed keywords

EID: 34248344678     PISSN: 01668641     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.topol.2006.09.018     Document Type: Article

References (21)

1. de Bakker J.W., and de Vink E.P. A metric approach to control flow semantics. Proc. Eleventh Summer Conference on General Topology and Applications. Ann. New York Acad. Sci. 806 (1996) 11-27
2. de Bakker J.W., and de Vink E.P. Denotational models for programming languages: applications of Banach's fixed point theorem. Topology Appl. 85 (1998) 35-52
3. de Bakker J.W., and de Vink E.P. Control Flow Semantics (1996), The MIT Press, Cambridge, MA
4. Davis M., and Weyuker E. Computability, Complexity and Languages (1983), Academic Press, New York
5. Flajolet P. Analytic analysis of algorithms. In: Kuich W. (Ed). Automata, Languages and Programming. 19th Internat. Colloq. ICALP'92, Vienna, July 1992. Lecture Notes in Computer Science vol. 623 (1992), Springer, Berlin 186-210
6. George A., and Veeramani P. On some results in fuzzy metric spaces. Fuzzy Sets and Systems 64 (1994) 395-399
7. George A., and Veeramani P. On some results of analysis of fuzzy metric spaces. Fuzzy Sets and Systems 90 (1997) 365-368
8. Grabiec M. Fixed points in fuzzy metric spaces. Fuzzy Sets and Systems 27 (1988) 385-389
9. Gregori V., and Romaguera S. Fuzzy quasi-metric spaces. Appl. Gen. Topology 5 (2004) 129-136
10. Gregori V., and Sapena A. On fixed point theorems in fuzzy metric spaces. Fuzzy Sets and Systems 125 (2002) 245-253
11. Kahn G. The semantics of a simple language for parallel processing. Proc. IFIP Congress (1974), Elsevier, North-Holland, Amsterdam 471-475
12. Kramosil I., and Michalek J. Fuzzy metrics and statistical metric spaces. Kybernetika 11 (1975) 336-344
13. Kruse R. Data Structures and Program Design (1984), Prentice-Hall, Inc.
14. Künzi H.P.A. Nonsymmetric topology. Proc. Colloquium on Topology, Szekszárd, Hungary, 1993. Colloq. Math. Soc. János Bolyai Math. Studies 4 (1995) 303-338
15. Matthews S.G. Partial metric topology. Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci. 728 (1994) 183-197
16. Sapena A. A contribution to the study of fuzzy metric spaces. Appl. Gen. Topology 2 (2001) 63-76
17. Schellekens M. The Smyth completion: a common foundation for denotational semantics and complexity analysis. Proc. MFPS 11. Electronic Notes in Theoretical Computer Science 1 (1995) 211-232
18. Sehgal V.M., and Bharucha-Reid A.T. Fixed points of contraction mappings on PM-spaces. Math. Systems Theory 6 (1972) 97-100
19. Schweizer B., and Sklar A. Statistical metric spaces. Pacific J. Math. 10 (1960) 314-334
20. Smyth M.B. Quasi-uniformities: Reconciling domains with metric spaces. In: Main M., et al. (Ed). Mathematical Foundations of Programming Language Semantics. 3rd Workshop, Tulane, 1987. Lecture Notes Computer Science vol. 298 (1988), Springer, Berlin 236-253
21. Vasuki R., and Veeramani P. Fixed point theorems and Cauchy sequences in fuzzy metric spaces. Fuzzy Sets and Systems 135 (2003) 415-417