메뉴 건너뛰기
Theoretical Computer Science
Volumn 302, Issue 1-3, 2003, Pages 123-133
μ-recursion and infinite limits
Author keywords

Real recursive functions; Theory of computation
Indexed keywords

HIERARCHICAL SYSTEMS; INTEGRATION; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS; SET THEORY; THEOREM PROVING;
EID: 0037901174     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00744-2     Document Type: Article
Times cited : (20)
References (6)
  • 1
    • 84968516134 scopus 로고
    • On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines
    • Blum L., Shub M., Smale S. On a theory of computation and complexity over the real numbers. NP-completeness, recursive functions and universal machines Bull. Amer. Soc. 21:1989;1-46.
    • (1989) Bull. Amer. Soc. , vol.21 , pp. 1-46
    • Blum, L.1    Shub, M.2    Smale, S.3
  • 2
    • 0002113398 scopus 로고
    • On the definition of computable real continuous functions
    • Grzegorczyk A. On the definition of computable real continuous functions. Fund. Math. 44:1957;61-71.
    • (1957) Fund. Math. , vol.44 , pp. 61-71
    • Grzegorczyk, A.1
  • 3
    • 0030570631 scopus 로고    scopus 로고
    • Recursion theory on reals and continuous-time computation
    • Moore C. Recursion theory on reals and continuous-time computation. Theoret. Comput. Sci. 162:1996;23-44.
    • (1996) Theoret. Comput. Sci. , vol.162 , pp. 23-44
    • Moore, C.1
  • 4
    • 0038457366 scopus 로고    scopus 로고
    • Infinite limits and R-recursive functions
    • to appear
    • J. Mycka, Infinite limits and R-recursive functions, Acta Cybernet., to appear.
    • Acta Cybernet.
    • Mycka, J.1
  • 5
    • 38249005670 scopus 로고
    • The extended analog computer
    • Rubel L.A. The extended analog computer. Adv. Appl. Math. 14:1993;39-50.
    • (1993) Adv. Appl. Math. , vol.14 , pp. 39-50
    • Rubel, L.A.1
  • 6
    • 0001676326 scopus 로고
    • On degrees of unsolvability
    • Shoenfield J.R. On degrees of unsolvability. Ann. Math. 69:1959;644-653.
    • (1959) Ann. Math. , vol.69 , pp. 644-653
    • Shoenfield, J.R.1

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