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