順序ソート項書換え系に基づくプログラム理論の研究
この論文をさがす
著者
書誌事項
- タイトル
-
順序ソート項書換え系に基づくプログラム理論の研究
- 著者名
-
河辺, 義信
- 著者別名
-
カワベ, ヨシノブ
- 学位授与大学
-
名古屋工業大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
乙第193号
- 学位授与年月日
-
2003-03-14
注記・抄録
博士論文
順序ソート項書換え系に基づくプログラム理論の研究
河辺, 義信
カワベ, ヨシノブ
名古屋工業大学
博士 (工学)
乙第193号
2003-03-14
博士論文