Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Preliminaries	.... 3
3	Term rewriting system generator Metis	.... 5
3.1	Well-founded ordering of terms	.... 5
3.2	Associative and commutative operators	.... 6
3.3	Orientation-Free rules and S-strategy	.... 7
4	Experiments	.... 9
4.1	AC-Completion	.... 9
4.2	Refutational Theorem Proving	.... 11
4.3	Inductive Theorem Proving	.... 13
	Acknowledgements	.... 15
	References	.... 15
	End	.... 16

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