메뉴 건너뛰기




Volumn 365, Issue 3, 2006, Pages 237-246

Partial quasi-metrics

Author keywords

BCK algebra; Bicompletion; Completion; Partial metric; Partial quasi metric; Quasi metric; Quasi norm; Weight

Indexed keywords

ALGEBRA; PROBLEM SOLVING;

EID: 33750051067     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.07.050     Document Type: Article
Times cited : (84)

References (22)
  • 2
    • 0037879732 scopus 로고    scopus 로고
    • Approximation of metric spaces by partial metric spaces
    • Heckmann R. Approximation of metric spaces by partial metric spaces. Appl. Categ. Structures 7 (1999) 71-83
    • (1999) Appl. Categ. Structures , vol.7 , pp. 71-83
    • Heckmann, R.1
  • 3
    • 0002665895 scopus 로고
    • An introduction to the theory of BCK-algebras
    • Iséki K., and Tanaka S. An introduction to the theory of BCK-algebras. Math. Japon 23 (1978) 1-26
    • (1978) Math. Japon , vol.23 , pp. 1-26
    • Iséki, K.1    Tanaka, S.2
  • 4
    • 51249180797 scopus 로고
    • Lengths on semigroups and groups
    • Kopperman R. Lengths on semigroups and groups. Semigroup Forum 25 (1982) 345-360
    • (1982) Semigroup Forum , vol.25 , pp. 345-360
    • Kopperman, R.1
  • 6
    • 33750073782 scopus 로고    scopus 로고
    • R. Kopperman, S. Matthews, H. Pajoohesh, What do partial metrics represent?, Notes distributed at the 19th Summer Conference on Topology and its Applications, University of Cape Town, 2004.
  • 7
    • 0036899284 scopus 로고    scopus 로고
    • Nontransitive quasi-uniformities in the Pervin quasi-proximity class
    • Künzi H.-P.A. Nontransitive quasi-uniformities in the Pervin quasi-proximity class. Proc. Amer. Math. Soc. 130 (2002) 3725-3730
    • (2002) Proc. Amer. Math. Soc. , vol.130 , pp. 3725-3730
    • Künzi, H.-P.A.1
  • 8
    • 0028569087 scopus 로고    scopus 로고
    • H.-P. A. Künzi, V. Vajner, Weighted quasi-metrics, in: Proceedings of the 8th Summer Conference on Topology and its Applications, Ann. New York Acad. Sci. 728 (1994) 64-77.
  • 9
    • 0043277737 scopus 로고
    • Uniform semigroups
    • Marxen D. Uniform semigroups. Math. Ann. 202 (1973) 27-36
    • (1973) Math. Ann. , vol.202 , pp. 27-36
    • Marxen, D.1
  • 10
    • 0028558872 scopus 로고    scopus 로고
    • S.G. Matthews, Partial metric topology, in: Proceedings of the 8th Summer Conference on Topology and its Applications, Ann. New York Acad. Sci. 728 (1994) 183-197.
  • 12
    • 0041392754 scopus 로고    scopus 로고
    • S.J. O'Neill, Partial metrics, valuations, and domain theory, in: Proceedings of 11th Summer Conference on Topology and its Applications, Ann. New York Acad. Sci. 806 (1996) 304-315.
  • 13
    • 33750068226 scopus 로고
    • On completions of pseudo-normed BCK-algebras and pseudo-metric universal algebras
    • Raftery J.G., and Sturm T. On completions of pseudo-normed BCK-algebras and pseudo-metric universal algebras. Math. Japon. 33 (1988) 919-929
    • (1988) Math. Japon. , vol.33 , pp. 919-929
    • Raftery, J.G.1    Sturm, T.2
  • 15
    • 0002137281 scopus 로고    scopus 로고
    • Duality and quasi-normability for complexity spaces
    • Romaguera S., and Schellekens M. Duality and quasi-normability for complexity spaces. Appl. General Topology 3 (2002) 91-112
    • (2002) Appl. General Topology , vol.3 , pp. 91-112
    • Romaguera, S.1    Schellekens, M.2
  • 16
    • 0042895786 scopus 로고    scopus 로고
    • Complexity spaces: lifting and directedness
    • Schellekens M.P. Complexity spaces: lifting and directedness. Topology Proc. 22 (1997) 403-425
    • (1997) Topology Proc. , vol.22 , pp. 403-425
    • Schellekens, M.P.1
  • 18
    • 0043031297 scopus 로고    scopus 로고
    • A characterization of partial metrizability: domains are quantifiable
    • Schellekens M.P. A characterization of partial metrizability: domains are quantifiable. Theoret. Comput. Sci. 305 (2003) 409-432
    • (2003) Theoret. Comput. Sci. , vol.305 , pp. 409-432
    • Schellekens, M.P.1
  • 19
    • 2042514962 scopus 로고    scopus 로고
    • The correspondence between partial metrics and semivaluations
    • Schellekens M.P. The correspondence between partial metrics and semivaluations. Theoret. Comput. Sci. 315 (2004) 135-149
    • (2004) Theoret. Comput. Sci. , vol.315 , pp. 135-149
    • Schellekens, M.P.1
  • 20
    • 25844504934 scopus 로고    scopus 로고
    • The representation of weighted quasi-metric spaces
    • Vitolo P. The representation of weighted quasi-metric spaces. Rend. Istit. Mat. Univ. Trieste 31 (1999) 95-100
    • (1999) Rend. Istit. Mat. Univ. Trieste , vol.31 , pp. 95-100
    • Vitolo, P.1
  • 21
    • 26844525906 scopus 로고    scopus 로고
    • The local triangle axiom in topology and domain theory
    • Waszkiewicz P. The local triangle axiom in topology and domain theory. Appl. General Topology 4 (2003) 47-70
    • (2003) Appl. General Topology , vol.4 , pp. 47-70
    • Waszkiewicz, P.1
  • 22
    • 33750057619 scopus 로고    scopus 로고
    • A. Wilansky, Topology for Analysis, Ginn, London, 1970.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.