Nagaya Takashi | School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
スポンサーリンク
概要
- Nagaya Takashiの詳細を見る
- 同名の論文著者
- School Of Information Science Japan Advanced Institute Of Science And Technology Hokurikuの論文著者
関連著者
-
Nagaya Takashi
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
-
Toyama Yoshihito
School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku
-
Toyama Yoshihito
School Of Information Science Jaist
-
Sakai M
Graduate School Of Information Science Nagoya University
-
Sakai Masahiko
Nagoya University
-
Sakai Masahiko
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Nagaya Takashi
Japan Advanced Institute Of Science And Technology
-
TOYAMA Yoshihito
Faculty of Information Science, Japan Advanced Institute of Science and Technology
-
Sakai M
Nagoya Univ. Nagoya‐shi Jpn
-
Aoto Takahito
Department of Computer Science, Gunma University
-
Toyama Y
Tohoku Univ. Sendai‐shi Jpn
-
Aoto Takahito
Department Of Computer Science Gunma University
-
Sakai Masahiko
Department Of Information Engineering Nagoya University
著作論文
- Decidable/undecidable properties of conditional term rewriting systems
- Decidability for left-linear growing term rewriting systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)