Contents of Report

[Data of Report]

Report Number:
TR0554
Date of Registration:
1990.04
English Title:
***
Japanese Title:
項書換えシステムと完備化手続き
English Author:
A.Osuga
Japanese:
大須賀　昭彦
Name of Organization to which author belongs:
Toshiba
PDF:
tr0554.pdf

[Contents]

要旨.... 2
1はじめに.... 2
2項書換えシステム.... 3
33TRSの停止性.... 5
3.1意味順序.... 7
3.2構文順序.... 9
4TRSの合流性.... 10
4.1完備なTRS.... 11
4.2危険対.... 12
4.3危険対を用いたTRSの合流性判定.... 13
5Kunth-Bendixの完備化手続き.... 14
6KBの応用.... 18
6.1帰納的な定理証明への応用.... 19
6.2等号論理の定理証明への応用.... 19
7おわりに.... 21
参考文献.... 22

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

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