Contents of Report

[Data of Report]

Report Number:
TR0062
Date of Registration:
1984.04
English Title:
An Ordering Method for Term Rewriting Systems
Japanese Title:
***
English Author:
K.Sakai
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tr0062.pdf

[Contents]

Abstract.... 2
1Preliminaries.... 2
1.1Ordered Sets.... 2
1.2Term Rewriting Systems.... 3
2TRS Equilvalence.... 5
3Knuth-Bendix Algorithm.... 6
4Well-founded Orders on Z.... 8
5Lexicographic Subterm Ordering.... 9
6Applications.... 11
Acknowledgements.... 15
References.... 15

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports