Contents of Report


[Data of Report]

Report Number:
TM0912
Date of Registration:
1990.08
English Title:
***
Japanese Title:
情報処理学会 第41回全国大会論文集;共有メモリ結合マルチプロセッサ上でのKL1処理系ユニフィケーション
English Author:
Y.Doumae,A.Imai,A.Goto
Japanese:
堂前 慶之,今井 明,後藤 厚宏
Name of Organization to which author belongs:
FUJITSU,ICOT,ICOT
PDF:
tm0912.pdf

[Contents]

1はじめに.... 1
2基本アルゴリズム.... 1
3ガード部におけるユニフィケーション.... 1
4ボディ部におけるユニフィケーション.... 1
5まとめ.... 2
謝辞.... 2
参考文献.... 2


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

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