메뉴 건너뛰기




Volumn 12, Issue 1, 2002, Pages 1-41

A predicative analysis of structural recursion

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL OPERATORS; RECURSIVE FUNCTIONS; SEMANTICS; SYNTACTICS; TREES (MATHEMATICS);

EID: 0036010443     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0956796801004191     Document Type: Article
Times cited : (38)

References (30)
  • 2
    • 84977598112 scopus 로고    scopus 로고
    • Specification and verification of a formal system for structurally recursive functions
    • Types for Proof and Programs, International Workshop, TYPES '99, Selected Papers. Springer-Verlag
    • (2000) Lecture Notes in Computer Science , vol.1956
    • Abel, A.1
  • 3
  • 13
    • 49649139118 scopus 로고
    • Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
    • (1972) Indagationes mathematicae , vol.34 , pp. 381-392
    • De Bruijn, N.G.1
  • 16
    • 84948168202 scopus 로고
    • Codifying guarded definitions with recursive schemes
    • Dybjer, P., Nordström, B. and Smith, J. (eds.), Types for Proofs and Programs, International Workshop TYPES '94. Bθastad, Sweden. Springer-Verlag
    • (1995) Lecture Notes in Computer Science , vol.996 , pp. 39-59
    • Gimenéz, E.1
  • 17
    • 84878591537 scopus 로고    scopus 로고
    • Structural recursive definitions in type theory
    • Automata, Languages and Programming, 25th International Colloquium, ICALP'98. Aalborg, Denmark, Springer-Verlag
    • (1998) Lecture Notes in Computer Science , vol.1443 , pp. 397-408
    • Gimenéz, E.1
  • 19
  • 30
    • 85034806401 scopus 로고
    • Argument-bounded algorithms as a basis for automated termination proofs
    • Lusk, Ewing L., & Overbeek, Ross A. (eds), 9th International Conference on Automated Deduction. Springer-Verlag
    • (1988) Lecture Notes in Computer Science , vol.310 , pp. 602-621
    • Walther, C.1


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