Contents of Report

[Data of Report]

Report Number:: TM0632
Date of Registration:: 1988.12
English Title:: Extended Projection Method in Proofs-as-programs
Japanese Title:: ***
English Author:: Y.Takayama
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tm0632.pdf

[Contents]

1	Introduction	.... 2
2	A Simple Constructive Logic;QPC0	.... 3
3	Declaration and Making of Proof Trees	.... 3
4	Extended Projection Method Applied to Induction Proofs	.... 5
5	Modified Proof Compilation Algorithm	.... 8
6	Example	.... 9
7	Conclusion	.... 11
	References	.... 11

目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda