Sakai Masahiko | Nagoya Univ. Nagoya Jpn
スポンサーリンク
概要
関連著者
-
Sakai Masahiko
Nagoya Univ. Nagoya Jpn
-
KUSAKARI Keiichirou
Graduate School of Information Science, Nagoya Univ.
-
SAKAI Masahiko
Graduate School of Information Science, Nagoya Univ.
-
Sakai Masahiko
Graduate School Of Information Science Nagoya Univ.
-
SAKABE Toshiki
Graduate School of Information Science, Nagoya University
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya University
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya Univ.
-
Sakabe Toshiki
Graduate School Of Information Science Nagoya University
-
Sakai M
Graduate School Of Information Science Nagoya University
-
Sakai Masahiko
Nagoya University
-
Nagaya Takashi
Japan Advanced Institute Of Science And Technology
-
TOYAMA Yoshihito
Faculty of Information Science, Japan Advanced Institute of Science and Technology
-
Sakai M
Nagoya Univ. Nagoya‐shi Jpn
-
Toyama Yoshihito
School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku
-
TOYAMA Yoshihito
Japan Advanced Institute of Science and Technology
-
Toyama Y
Tohoku Univ. Sendai‐shi Jpn
-
Sakai Masahiko
Department Of Information Engineering Nagoya University
著作論文
- Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
- Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic
- Index Reduction of Overlapping Strongly Sequential Systems