메뉴 건너뛰기




Volumn 1761 LNAI, Issue , 2000, Pages 126-136

A new fast tableau-based decision procedure for an unquantified fragment of set theory

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; MODEL CHECKING; THEOREM PROVING;

EID: 84867772075     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46508-1_8     Document Type: Conference Paper
Times cited : (17)

References (9)
  • 5
    • 84990643415 scopus 로고
    • Techniques of computable set theory with applications to proof verification
    • Domenico Cantone and Alfredo Ferro. Techniques of computable set theory with applications to proof verification. Comm. Pure Appl. Math., XLVIII:1-45, 1995.
    • (1995) Comm. Pure Appl. Math , vol.48 , pp. 1-45
    • Cantone, D.1    Ferro, A.2
  • 6
    • 0003672201 scopus 로고
    • Oxford Science Publications of International Series of Monographs on Computer Science. Clarendon Press
    • Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory, volume no.6 Oxford Science Publications of International Series of Monographs on Computer Science. Clarendon Press, 1989.
    • (1989) Computable Set Theory , vol.6
    • Cantone, D.1    Ferro, A.2    Omodeo, E.3
  • 7
    • 0000635278 scopus 로고
    • The taming of the cut. Classical refutations with analytic cut
    • June
    • Marcello D'Agostino and Marco Mondadori. The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 4(3):285-319, June 1994.
    • (1994) Journal of Logic and Computation , vol.4 , Issue.3 , pp. 285-319
    • D'Agostino, M.1    Mondadori, M.2
  • 8
    • 0003631434 scopus 로고
    • First-order logic and automated theorem proving
    • Springer-Verlag, Berlin, 2nd edition 1st ed.
    • Melvin C. Fitting. First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer-Verlag, Berlin, 2nd edition, 1996. 1st ed., 1990.
    • (1990) Graduate Texts in Computer Science
    • Fitting, M.C.1


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