Sakabe T | Nagoya Univ. Nagoya Jpn
スポンサーリンク
概要
関連著者
-
SAKABE Toshiki
Department of Information Engineering, Nagoya University
-
Sakabe T
Nagoya Univ. Nagoya Jpn
-
INAGAKI Yasuyoshi
Faculty of Information Science and Technology, Aichi Prefectural University
-
Inagaki Y
Faculty Of Information Science And Technology Aichi Prefectural University
-
FENG Su
Faculty of Engineering, Nagoya University
-
Feng Su
Faculty Of Engineering Nagoya University
-
Inagaki Yasuyoshi
Faculty Of Engineering Nagoya University
-
SAKABE Toshiki
Faculty of Engineering, Nagoya University
著作論文
- Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus
- Mechanizing Explicit Inductive Equational Reasoning by DTRC