메뉴 건너뛰기




Volumn 3223, Issue , 2004, Pages 136-151

Extensible Hierarchical Tactic Construction in a Logical Framework

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; OPEN SYSTEMS;

EID: 33747226679     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30142-4_11     Document Type: Article
Times cited : (2)

References (20)
  • 3
    • 0009839335 scopus 로고
    • Flatterms, discrimination nets, and fast term rewriting
    • February
    • Jim Christian. Flatterms, discrimination nets, and fast term rewriting. Journal of Automated Reasoning, 10(1):95-113, February 1993.
    • (1993) Journal of Automated Reasoning , vol.10 , Issue.1 , pp. 95-113
    • Christian, J.1
  • 8
    • 35048889179 scopus 로고    scopus 로고
    • Extensible pretty-printer specifications. In preparation.
    • Jason Hickey and Aleksey Nogin. Extensible pretty-printer specifications. In preparation.
    • Hickey, J.1    Nogin, A.2
  • 17
    • 0346351909 scopus 로고
    • Isabelle tutorial and user's manual
    • University of Cambridge Computing Laboratory
    • L. Paulson and T. Nipkow. Isabelle tutorial and user's manual. Technical report, University of Cambridge Computing Laboratory, 1990.
    • (1990) Technical Report
    • Paulson, L.1    Nipkow, T.2


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