IDEON合宿/2006春 | 計算理論とOverlay

総覧・未分類

データフロー型

サーベイ論文

理論

実装・評価

論理型

ICOT TR(http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tr-list-J.html): 033, 035, 050, 099, 114, 122, 165, 168, 187, 189, 268, 301, 414

ICOT TM(http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tm-list-J.html): 098, 236

神奈川県立川崎図書館にあるらしい…

並列論理

関数型

Reduction Machine


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS