Mitsuhashi Ichiro | Mie Univ. Tsu‐shi Jpn
スポンサーリンク
概要
関連著者
-
山田 俊行
三重大学大学院工学研究科情報工学専攻
-
三橋 一郎
三重大学総合情報処理センター
-
MITSUHASHI ICHIRO
Faculty of Engineering, Mie University
-
大山口 通夫
三重大学大学院工学研究科情報工学専攻
-
Mitsuhashi Ichiro
Mie Univ. Tsu‐shi Jpn
-
大山口 通夫
三重大学工学研究科
-
太田 義勝
Faculty Of Engineering Mie University
-
山田 俊行
三重大学工学部情報工学科
-
三橋 一郎
三重大学工学部
-
太田 義勝
三重大学工学部
-
OYAMAGUCHI MICHIO
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
-
Oyamaguchi Michio
Faculty Of Engineering Mie University
著作論文
- The Joinability and Related Decision Problems for Semi-constructor TRSs(計算理論)
- The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications)
- The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science)