Contents of Report
[Data of Report]
Report Number:
TM0731
Date of Registration:
1989.05
English Title:
***
Japanese Title:
完備化アルゴリズムの並列化とGHCによる実装
English Author:
***
Japanese:
藤田 博
Name of Organization to which author belongs:
ICOT
PDF:
tm0731.pdf
[Contents]
概要
.... 2
1
はじめに
.... 2
2
並列Kunth-Bendixアルゴリズム
.... 2
3
GHCによる実現
.... 4
4
例題
.... 26
5
おわりに
.... 29
参考文献
.... 29
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda