SAKABE Toshiki | Graduate School of Information Science, Nagoya University
スポンサーリンク
概要
関連著者
-
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
-
Sakabe Toshiki
Graduate School Of Information Science Nagoya University
-
KUSAKARI Keiichirou
Graduate School of Information Science, Nagoya Univ.
-
Sakai Masahiko
Nagoya Univ. Nagoya Jpn
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya University
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya Univ.
-
UCHIYAMA Keita
Graduate School of Information Science, Nagoya University
-
Uchiyama Keita
Graduate School Of Information Science Nagoya University
著作論文
- Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs
- 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