AKAMA Kiyoshi | Division of System and Information Engineering, Hokkaido University
スポンサーリンク
概要
関連著者
-
Akama K
Hokkaido Univ.
-
Akama Kiyoshi
Hokkaido University
-
Miyamoto Eiichi
Hokkaido University
-
SHIGETA YOSHINORI
Department of System and Information Engineering, Hokkaido University
-
AKAMA Kiyoshi
Division of System and Information Engineering, Hokkaido University
-
SHIGETA Yoshinori
Toshiba Corporation
-
MIYAMOTO Eiichi
Division of System and Information Engineering, Hokkaido University
著作論文
- Unreachability Proofs for β Rewriting Systems by Homomorphisms
- Common Structure of Semi-Thue Systems, Petri Nets, and Other Rewriting Systems