Kusakari Keiichirou | 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.

• Kusakari Keiichirou

  Graduate School Of Information Science Nagoya University

• 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.

• Sakai Masahiko

  Nagoya Univ. Nagoya Jpn

• SAKABE Toshiki

  Graduate School of Information Science, Nagoya University

• Sakabe Toshiki

  Graduate School Of Information Science Nagoya University

• Sakai M

  Graduate School Of Information Science Nagoya University

• Kusakari Keiichirou

  School Of Information Science Jaist

• Chiba Yuki

  Research Institute for Scientific Measurements, Tohoku University

• Chiba Yuki

  Research Institute Of Electrical Communication Tohoku University

• Chiba Yuki

  Research Institute For Scientific Measurements Tohoku University

• 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
• A Higher-Order Knuth-Bendix Procedure and Its Applications
• On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

スポンサーリンク