메뉴 건너뛰기
Theoretical Computer Science
Volumn 175, Issue 1, 1997, Pages 3-13
The bounded-complete hull of an α-space
Author keywords

[No Author keywords available]
Indexed keywords

APPROXIMATION THEORY; THEOREM PROVING;
EID: 0031094675     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00167-3     Document Type: Article
Times cited : (21)
References (4)
  • 1
    • 0001847686 scopus 로고
    • Domain theory
    • S. Abramsky, D. Gabbay, T. Maibaum, eds., Oxford Science Publications, New York
    • S. Abramsky and A. Jung. Domain theory, in: S. Abramsky, D. Gabbay, T. Maibaum, eds., Handbook of Logic in Computer Science, Vol. 3 (Oxford Science Publications, New York, 1995).
    • (1995) Handbook of Logic in Computer Science , vol.3
    • Abramsky, S.1    Jung, A.2
  • 2
    • 0000260572 scopus 로고
    • Computable functionals of finite types
    • Yu.L. Ershov, Computable functionals of finite types, Algebra and Logic 11 (4) (1972) 203-242.
    • (1972) Algebra and Logic , vol.11 , Issue.4 , pp. 203-242
    • Ershov, Yu.L.1
  • 3
    • 0040575976 scopus 로고
    • The theory of A-spaces
    • Yu.L. Ershov, The theory of A-spaces, Algebra and Logic 12 (4) (1973) 209-232.
    • (1973) Algebra and Logic , vol.12 , Issue.4 , pp. 209-232
    • Ershov, Yu.L.1
  • 4
    • 84976646107 scopus 로고
    • Theory of domains and nearby
    • D. Bjørner, M. Broy and I. Pottosin, eds., Formal Methods in Programming and Their Applications, Springer, Berlin
    • Yu.L. Ershov, Theory of domains and nearby, in: D. Bjørner, M. Broy and I. Pottosin, eds., Formal Methods in Programming and Their Applications, Lecture Notes in Computer Science, Vol. 735 (Springer, Berlin, 1993) 1-7.
    • (1993) Lecture Notes in Computer Science , vol.735 , pp. 1-7
    • Ershov, Yu.L.1

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