论文信息 - The Karlsruhe Induction Theorem Proving System - 字舞流文

The Karlsruhe Induction Theorem Proving System

Dieter Hutter | Susanne Biundo-Stephan | Christoph Walther | Birgit Hummel | Christoph Walther | D. Hutter | Susanne Biundo-Stephan | Birgit Hummel

[1] Dieter Hutter,et al. Using Resolution and Paramodulation for Induction Proofs , 1986, GWAI.

[2] Norbert Eisinger,et al. The Markgraf Karl Refutation Procedure (MKRP) , 1986, CADE.

[3] Susanne Biundo,et al. A synthesis system mechanizing proofs by induction , 1986 .

[4] Raymond AUBIN,et al. Mechanizing Structural Induction Part I: Formal System , 1979, Theor. Comput. Sci..

[5] Raymond Aubin,et al. Mechanizing Structural Induction Part II: Strategies , 1979, Theor. Comput. Sci..

[6] Christoph Walther,et al. A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.

[7] R. Boyer,et al. A computational logic , 1980, ACM monograph series.

[8] Raymond Aubin,et al. Mechanizing structural induction , 1976 .