五味 弘 | 三重大学工学部
スポンサーリンク
概要
関連著者
-
大山口 通夫
三重大学工学研究科
-
五味 弘
三重大学工学部
-
太田 義勝
三重大学工学部
-
大山口 通夫
三重大学大学院工学研究科情報工学専攻
-
太田 義勝
Faculty Of Engineering Mie University
著作論文
- ルートE重なりな深さ保存項書き換えシステムのチャーチ・ロッサー性について
- ルートE重なりな深さ保存項書き換えシステムのチャーチ・ロッサー性について
- On the Church-Rosser Property of Non-E-overlapping and Weight-Preserving TRS's