Contents of Report
[Data of Report]
Report Number:
TM0087
Date of Registration:
1984.12
English Title:
Knuth-Bendix Algorithm for Thue System Based on Kachinuki Ordering
Japanese Title:
***
English Author:
K.Sakai
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tm0087.pdf
[Contents]
1
Introduction
.... 2
2
Rewriting system
.... 2
3
Ordering of strings
.... 4
4
Applications
.... 6
5
Concluding Remarks
.... 10
6
ACKNOELEGDEMENTS
.... 11
7
REFERENCES
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda