Decision problems for non-linear term rewriting systems 非線形項書き換えシステムの判定問題
この論文をさがす
著者
書誌事項
- タイトル
-
Decision problems for non-linear term rewriting systems
- タイトル別名
-
非線形項書き換えシステムの判定問題
- 著者名
-
三橋, 一郎
- 著者別名
-
ミツハシ, イチロウ
- 学位授与大学
-
三重大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第1200号
- 学位授与年月日
-
2006-03-24
注記・抄録
博士論文