Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Preliminaries	.... 3
3	Orientation-free rewrite rules	.... 3
4	Inference rules for ground completion	.... 4
5	Inference rules for inductive theorem proving	.... 5
6	Detecting infinite execution	.... 6
7	Implementation	.... 7
8	Experiments	.... 8
8.1	Addtion and multiplication of natural numbers	.... 8
8.2	Append and reverse operations	.... 10
	Acknowledgements	.... 11
	References	.... 12

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