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)

スポンサーリンク