Hideto Kasuya | Faculty Of Information Science And Technology Aichi Prefectural University
スポンサーリンク
概要
- Hideto Kasuyaの詳細を見る
- 同名の論文著者
- Faculty Of Information Science And Technology Aichi Prefectural Universityの論文著者
関連著者
-
Hideto Kasuya
Faculty of Information Science and Technology, Aichi Prefectural University
-
Masahiko Sakai
Graduate School of Information Science, Nagoya University
-
Kiyoshi Agusa
Graduate School of Information Science, Nagoya University
-
Kiyoshi Agusa
Graduate School Of Information Science Nagoya University
-
Hideto Kasuya
Faculty Of Information Science And Technology Aichi Prefectural University
-
Masahiko Sakai
Graduate School Of Information Science Nagoya University
著作論文
- Recognizability of Redexes for Higher-Order Rewrite Systems
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes