Contents of Report

[Data of Report]

Report Number:: TR0752
Date of Registration:: 1992.03
English Title:: Complete Equational Unification Based on an Extension of the Knuth-Bendix Completion Procedure
Japanese Title:: ***
English Author:: A.Ohsuga,K.Sakai
Japanese:: ***
Name of Organization to which author belongs:: Toshba,ICOT
PDF:: tr0752.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Inference rules for equational unification	.... 4
3	Completeness of the unification pocedure	.... 7
4	Implementation issues and examples	.... 11
5	References	.... 12
	End	.... 14

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