Contents of Report

[Data of Report]

Report Number:: TR0694
Date of Registration:: 1991.09
English Title:: Inference Transformation;A New Methodology for the Program Transformation
Japanese Title:: ***
English Author:: J.Yamaguchi
Japanese:: ***
Name of Organization to which author belongs:: Kanagawa Univ.
PDF:: tr0694.pdf

	Abustruct	.... 2
	Keywords	.... 2
	Introduction	.... 3
1	Preliminaries	.... 5
2	Boolean-valued Unification	.... 8
3	Theoretical Background of Inference Transformation	.... 11
4	B-valied Interpretation of --unification	.... 16
5	Concluding Remarks	.... 19
	Reference	.... 20
	End	.... 21

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