西田 直樹 | Graduate School of Information Science, Nagoya University
スポンサーリンク
概要
関連著者
-
Nishida Naoki
Graduate School Of Information Science Nagoya University
-
酒井 正彦
Graduate School of Information Science, Nagoya University
-
西田 直樹
Graduate School of Information Science, Nagoya University
-
WANG Yi
Graduate School of Environmental Science, Hokkaido University
-
Sakai Masahiko
Graduate School Of Information Science Nagoya Univ.
-
Uchiyama Keita
School Of Engineering Nagoya University
-
Sakai Masahiro
Graduate School Of Information Science Nagoya University
-
Wang Yi
Graduate School Of Information Science Nagoya University
-
Wang Yi
Graduate School Of Environmental Science Hokkaido University
-
内山 敬太
School of Engineering, Nagoya University
著作論文
- Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
- Confluence of Length Preserving String Rewriting Systems is Undecidable