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|research Fellow Of The Japan Society For Thの論文著者
Graduate School Of Information Science Nagoya University|research Fellow Of The Japan Society For Th | 論文
- Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems
- Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems