Contents of Report

[Data of Report]

Report Number:: TR0636
Date of Registration:: 1991.03
English Title:: Complete E-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:: System & Software Engineering,ICOT
PDF:: tr0636.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Inference rules for Equantinal unification	.... 4
3	Completeness of the unification procedure	.... 6
4	Implementation issues and examples	.... 10
	Acknowledgements	.... 12
	References	.... 12
	End	.... 13

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