메뉴 건너뛰기




Volumn 2083 LNAI, Issue , 2001, Pages 696-700

STRIP: Structural sharing for efficient proof-search

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; FORMAL LOGIC; SEMANTICS;

EID: 23044528456     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_58     Document Type: Conference Paper
Times cited : (9)

References (8)
  • 1
    • 0000020502 scopus 로고    scopus 로고
    • Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
    • A. Avellone, M. Ferrari, and P. Miglioli. Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Logic Journal of the IGPL, 7(4):447-480, 1999.
    • (1999) Logic Journal of the IGPL , vol.7 , Issue.4 , pp. 447-480
    • Avellone, A.1    Ferrari, M.2    Miglioli, P.3
  • 2
    • 0001055868 scopus 로고
    • Contraction-free sequent calculi for intuitionistic logic
    • R. Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57:795-807, 1992.
    • (1992) Journal of Symbolic Logic , vol.57 , pp. 795-807
    • Dyckhoff, R.1
  • 4
    • 84887042561 scopus 로고    scopus 로고
    • Structural sharing and efficient proof-search in propositional intuitionistic logic
    • LNCS 1742 Phuket, Thailand, December
    • D. Galmiche and D. Larchey-Wendling. Structural sharing and efficient proof-search in propositional intuitionistic logic. In Asian Computing Science Conference, ASIAN'99, LNCS 1742, pages 101-112, Phuket, Thailand, December 1999.
    • (1999) Asian Computing Science Conference, ASIAN'99 , pp. 101-112
    • Galmiche, D.1    Larchey-Wendling, D.2
  • 5
    • 0002449270 scopus 로고
    • An O(n log n)-space decision procedure for intuitionistic propositional logic
    • J. Hudelmaier. An O(n log n)-space decision procedure for intuitionistic propositional logic. Journal of Logic and Computation, 3(1):63-75, 1993.
    • (1993) Journal of Logic and Computation , vol.3 , Issue.1 , pp. 63-75
    • Hudelmaier, J.1
  • 6
    • 0039705575 scopus 로고
    • Loop-free construction of counter-models for intuitionistic propositional logic
    • Behara and al., editors
    • L. Pinto and R. Dyckhoff. Loop-free construction of counter-models for intuitionistic propositional logic. In Behara and al., editors, Symposia Gaussiana, pages 225-232, 1995.
    • (1995) Symposia Gaussiana , pp. 225-232
    • Pinto, L.1    Dyckhoff, R.2
  • 8
    • 0039113443 scopus 로고    scopus 로고
    • Porgi: A proof-or-refutation generator for intuitionistic propositional logic
    • Rutgers University, New Brunswick, USA
    • A. Stoughton. Porgi: a proof-or-refutation generator for intuitionistic propositional logic. In CADE Workshop on Proof-search in Type-theoretic Languages, pages 109-116, Rutgers University, New Brunswick, USA, 1996.
    • (1996) CADE Workshop on Proof-search in Type-theoretic Languages , pp. 109-116
    • Stoughton, A.1


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