Contents of Report

[Data of Report]

Report Number:: TM0046
Date of Registration:: 1984.02
English Title:: Several Aspect on Unification
Japanese Title:: ***
English Author:: T.Kurokawa,K.Mukai,T.Kasai,H.Yasuura,T.Ida,K.Sakai,T.Matsuda,K.Ueda,M.Hagiya,M.Nagata,T.Adachi
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT
PDF:: tm0046.pdf

1	Introduction	.... 3
2	Complexity of Unification Algorithms	.... 5
3	On The Parallel Computational Complexity of Unification	.... 8
4	Hashing Techiques and unification	.... 17
5	Universal Unification	.... 19
6	Constraint and unification	.... 25
7	Lazy Unification and Bind Hook	.... 31
8	Formula manipulation and Unification	.... 33
9	Unification,Kites and Information Systems	.... 36
	End	.... 45

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