Contents of Report


[Data of Report]

Report Number:
TM0975
Date of Registration:
1991.01
English Title:
***
Japanese Title:
KL1上のユニフィケーションプログラムとその評価
English Author:
M.Koshimura,H.Fujita,R.Hasegawa
Japanese:
越村 三幸,藤田 博,長谷川 隆三
Name of Organization to which author belongs:
TOSHIBA,MITUBISHI,ICOT
PDF:
tm0975.pdf

[Contents]

1はじめに.... 2
2KL1変数表現.... 2
3基底項表現.... 3
4展開による最適化.... 5
5評価結果.... 5
6考察.... 6
7終わりに.... 8
References.... 8
End.... 26


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

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda