메뉴 건너뛰기




Volumn 179, Issue 1-2, 1997, Pages 319-331

Representability of locally compact regular spaces by domains and formal spaces

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; FORMAL LOGIC; FUNCTIONS; NUMBER THEORY; TOPOLOGY;

EID: 0031169510     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00152-1     Document Type: Article
Times cited : (5)

References (12)
  • 1
    • 0001770258 scopus 로고
    • Total sets and objects in domain theory
    • U. Berger, Total sets and objects in domain theory, Ann. Pure Appl. Logic 60 (1993) 91-117.
    • (1993) Ann. Pure Appl. Logic , vol.60 , pp. 91-117
    • Berger, U.1
  • 2
    • 85044492182 scopus 로고    scopus 로고
    • Domain representability of metric spaces
    • to appear
    • J. Blanck, Domain representability of metric spaces, Ann. Pure Appl. Logic, to appear.
    • Ann. Pure Appl. Logic
    • Blanck, J.1
  • 3
    • 0029406623 scopus 로고
    • Domain theory and integration
    • A. Edalat, Domain theory and integration, Theoret. Comput. Sci. 151 (1995) 163-193.
    • (1995) Theoret. Comput. Sci. , vol.151 , pp. 163-193
    • Edalat, A.1
  • 4
    • 77956951454 scopus 로고
    • The model C of the partial continuous functionals
    • R.O. Gandy and J.M.E. Hyland, eds., Logic Colloquium 76, North-Holland, Amsterdam
    • Yu. Ershov, The model C of the partial continuous functionals, in: R.O. Gandy and J.M.E. Hyland, eds., Logic Colloquium 76, Studies in Logic, Vol. 87 (North-Holland, Amsterdam, 1977) 455-467.
    • (1977) Studies in Logic , vol.87 , pp. 455-467
    • Ershov, Yu.1
  • 5
    • 0346773761 scopus 로고
    • Formal spaces
    • A. Troelstra and D. van Dalen, eds., North-Holland, Amsterdam
    • M.P. Fourman and R.J. Grayson, Formal spaces, in: A. Troelstra and D. van Dalen, eds., Heyting Symposium (North-Holland, Amsterdam, 1982), 455-467.
    • (1982) Heyting Symposium , pp. 455-467
    • Fourman, M.P.1    Grayson, R.J.2
  • 7
    • 0002909550 scopus 로고
    • Intuitionistic formal spaces - A first communication
    • D. Skordev, ed., Plenum Press, New York
    • G. Sambin, Intuitionistic formal spaces - a first communication, in: (D. Skordev, ed., Mathematical Logic and its Applications (Plenum Press, New York, 1987), 187-204.
    • (1987) Mathematical Logic and Its Applications , pp. 187-204
    • Sambin, G.1
  • 8
    • 0038413225 scopus 로고
    • Formal spaces and their effective presentations
    • I. Sigstam, Formal spaces and their effective presentations, Arch. Math. Logic 34 (1995) 211-246.
    • (1995) Arch. Math. Logic , vol.34 , pp. 211-246
    • Sigstam, I.1
  • 11
    • 0000931855 scopus 로고
    • Effective algebras
    • S. Abramsky, D. Gabbay and T.S.E. Maibaum, eds., Oxford Univ. Press, Oxford
    • V. Stoltenberg-Hansen and J.V. Tucker, Effective algebras, in: S. Abramsky, D. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. 4 (Oxford Univ. Press, Oxford, 1995), 357-526.
    • (1995) Handbook of Logic in Computer Science , vol.4 , pp. 357-526
    • Stoltenberg-Hansen, V.1    Tucker, J.V.2


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