메뉴 건너뛰기




Volumn 2392, Issue , 2002, Pages 275-279

Spass version 2.0

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL LOGIC;

EID: 70350690461     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45620-1_22     Document Type: Conference Paper
Times cited : (100)

References (12)
  • 3
    • 0005483198 scopus 로고
    • Rewrite-based equational theorem proving with selection and simplification
    • Bachmair, L. & Ganzinger, H. (1994), ‘Rewrite-based equational theorem proving with selection and simplification’, Journal of Logic and Computation.
    • (1994) Journal of Logic and Computation
    • Bachmair, L.1    Ganzinger, H.2
  • 5
    • 84893216366 scopus 로고    scopus 로고
    • Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany
    • Brinker, C. (2000), Geometrisches Schliessen mit Spass, Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany.
    • (2000) Geometrisches Schliessen Mit Spass
    • Brinker, C.1
  • 6
    • 84976799536 scopus 로고
    • Variations on the common subexpression problem
    • Downey, P. J., Sethi, R. & Tarjan, R. E. (1980), ‘Variations on the common subexpression problem’, Journal of the ACM 27(4), 758-771.
    • (1980) Journal of the ACM , vol.27 , Issue.4 , pp. 758-771
    • Downey, P.J.1    Sethi, R.2    Tarjan, R.E.3
  • 9
    • 15544368828 scopus 로고    scopus 로고
    • Computing small clause normal forms
    • in A. Robinson & A. Voronkov, Elsevier, chapter 6
    • Nonnengart, A. & Weidenbach, C. (2001), Computing small clause normal forms, in A. Robinson & A. Voronkov, eds, ‘Handbook of Automated Reasoning’, Vol. 1, Elsevier, chapter 6, pp. 335-367.
    • (2001) ‘Handbook of Automated Reasoning , vol.1 , pp. 335-367
    • Nonnengart, A.1    Weidenbach, C.2
  • 10
    • 84949048384 scopus 로고    scopus 로고
    • Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany
    • Topić, D. (2002), Static analysis of list-processing C programs, Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany.
    • (2002) Static Analysis of List-Processing C Programs
    • Topić, D.1
  • 11
    • 15544363314 scopus 로고    scopus 로고
    • Combining superposition, sorts and splitting
    • in A. Robinson & A. Voronkov, Elsevier, chapter 27
    • Weidenbach, C. (2001), Combining superposition, sorts and splitting, in A. Robinson & A. Voronkov, eds, ‘Handbook of Automated Reasoning’, Vol. 2, Elsevier, chapter 27, pp. 1965-2012.
    • (2001) Handbook of Automated Reasoning , vol.2 , pp. 1965-2012
    • Weidenbach, C.1


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