OYAMAGUCHI MICHIO | Faculty of Engineering, Mie University
スポンサーリンク
概要
関連著者
-
OYAMAGUCHI MICHIO
Faculty of Engineering, Mie University
-
Oyamaguchi Michio
Faculty Of Engineering Mie University
-
太田 義勝
Faculty Of Engineering Mie University
-
山田 俊行
三重大学大学院工学研究科情報工学専攻
-
三橋 一郎
三重大学総合情報処理センター
-
Gomi Hiroshi
Faculty Of Engineering Mie University
-
MITSUHASHI ICHIRO
Faculty of Engineering, Mie University
-
OHTA YOSHIKATSU
Faculty of Engineering, Mie University
-
YAMADA TOSHIYUKI
Faculty of Engineering, Mie University
-
Ohta Yoshikatsu
Faculty Of Engineering Mie University
-
大山口 通夫
三重大学大学院工学研究科情報工学専攻
-
Mitsuhashi Ichiro
Mie Univ. Tsu‐shi Jpn
著作論文
- The Joinability and Related Decision Problems for Semi-constructor TRSs(計算理論)
- Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications)
- The Reachability and Joinability Problems for Right-Ground Term-Rewriting Systems