草刈, 圭一朗クサカリ, ケイイチロウ

ID:DA12931432

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

酒井正彦 [ほか著]

[出版者不明] 2006.4

所蔵館1館
2

Termination, AC-termination and dependency pairs of term rewriting systems

by Keiichirou Kusakari

Keiichirou Kusakari 2000.3

所蔵館1館

この著者を外部サイトでさがす

関連著者

ページトップへ