Kojima Yoshiharu | Graduate School of Information Science, Nagoya University
スポンサーリンク
概要
関連著者
-
Sakai Masahiko
Graduate School Of Information Science Nagoya Univ.
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya Univ.
-
Sakabe Toshiki
Graduate School Of Information Science Nagoya University
-
Nishida Naoki
Graduate School Of Information Science Nagoya University
-
Kojima Yoshiharu
Graduate School of Information Science, Nagoya University
著作論文
- Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems
- Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems