메뉴 건너뛰기




Volumn 1632, Issue , 1999, Pages 202-206

System description: Twelf — a meta-logical framework for deductive systems

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING; SPECIFICATIONS; THEOREM PROVING;

EID: 35448990873     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48660-7_14     Document Type: Conference Paper
Times cited : (428)

References (9)
  • 3
    • 0012527090 scopus 로고    scopus 로고
    • Cambridge University Press. In preparation. Draft from April, available electronically
    • Frank Pfenning. Computation and Deduction. Cambridge University Press. In preparation. Draft from April 1997 available electronically.
    • Computation and Deduction , pp. 1997
    • Pfenning, F.1
  • 4
    • 0002474842 scopus 로고
    • Logic programming in the LF logical framework
    • editors, Logical Frameworks, Cambridge University Press
    • Frank Pfenning. Logic programming in the LF logical framework. In Gerard Huet and Gordon Plotkin, editors, Logical Frameworks, pages 149-181. Cambridge University Press, 1991.
    • (1991) Gerard Huet and Gordon Plotkin , pp. 149-181
    • Pfenning, F.1
  • 5
    • 84957105392 scopus 로고
    • Elf: A meta-language for deductive systems
    • In A. Bundy, editor, Nancy, France, June, Springer-Verlag LNAI 814. System abstract
    • Frank Pfenning. Elf: A meta-language for deductive systems. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, pages 811-815, Nancy, France, June 1994. Springer-Verlag LNAI 814. System abstract.
    • (1994) Proceedings of the 12Th International Conference on Automated Deduction , pp. 811-815
    • Pfenning, F.1
  • 6
    • 84947903948 scopus 로고    scopus 로고
    • The practice of logical frameworks
    • In Helene Kirchner, editor, Linkoping, Sweden, April, Springer-Verlag LNCS 1059. Invited talk
    • Frank Pfenning. The practice of logical frameworks. In Helene Kirchner, editor, Proceedings of the Colloquium on Trees in Algebra and Programming, pages 119-134, Linkoping, Sweden, April 1996. Springer-Verlag LNCS 1059. Invited talk.
    • (1996) Proceedings of the Colloquium on Trees in Algebra and Programming , pp. 119-134
    • Pfenning, F.1
  • 7
    • 0012526327 scopus 로고    scopus 로고
    • Algorithms for equality and unification in the presence of notational definitions
    • T. Altenkirch, W. Naraschewski, and B. Reus, editors, Springer-Verlag LNCS, To appear
    • Frank Pfenning and Carsten Schurmann. Algorithms for equality and unification in the presence of notational definitions. In T. Altenkirch, W. Naraschewski, and B. Reus, editors, Types for Proofs and Programs. Springer-Verlag LNCS, 1998. To appear.
    • (1998) Types for Proofs and Programs
    • Pfenning, F.1    Schurmann, C.2
  • 8
    • 84947921641 scopus 로고    scopus 로고
    • Mode and termination checking for higher-order logic programs
    • In Hanne Riis Nielson, editor, Linkoping, Sweden, April, Springer-Verlag LNCS 1058
    • Ekkehard Rohwedder and Frank Pfenning. Mode and termination checking for higher-order logic programs. In Hanne Riis Nielson, editor, Proceedings of the European Symposium on Programming, pages 296-310, Linkoping, Sweden, April 1996. Springer-Verlag LNCS 1058.
    • (1996) Proceedings of the European Symposium on Programming , pp. 296-310
    • Rohwedder, E.1    Pfenning, F.2
  • 9
    • 84957086988 scopus 로고    scopus 로고
    • Automated theorem proving in a simple meta-logic for LF
    • In Claude Kirchner and Helene Kirchner, editors, Lindau, Germany, July, Springer-Verlag LNCS 1421
    • Carsten Schurmann and Frank Pfenning. Automated theorem proving in a simple meta-logic for LF. In Claude Kirchner and Helene Kirchner, editors, Proceedings of the 15th International Conference on Automated Deduction (CADE-15), pages 286-300, Lindau, Germany, July 1998. Springer-Verlag LNCS 1421
    • (1998) Proceedings of the 15Th International Conference on Automated Deduction (CADE-15) , pp. 286-300
    • Schurmann, C.1    Pfenning, F.2


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