Akama K | Hokkaido Univ.
スポンサーリンク
概要
関連著者
-
Akama K
Hokkaido Univ.
-
Akama Kiyoshi
Hokkaido University
-
Miyamoto Eiichi
Hokkaido University
-
SHIGETA YOSHINORI
Department of System and Information Engineering, Hokkaido University
-
Kawaguchi Yuuichi
Tomakomai National College of Technology
-
AKAMA Kiyoshi
Division of System and Information Engineering, Hokkaido University
-
SHIGETA Yoshinori
Toshiba Corporation
-
MIYAMOTO Eiichi
Division of System and Information Engineering, Hokkaido University
-
Akama Kiyoshi
Hokkaido Univ. Sapporo Jpn
-
Akama Kiyoshi
Department Of System And Information Engineering Hokkaido University
-
KAWAGUCHI Yuuichi
The author is with Tomakomai National College of Technology
-
AKAMA Kiyoshi
The authors are with the Faculty of engineering, Hokkaido University
-
MIYAMOTO Eiichi
The authors are with the Faculty of engineering, Hokkaido University
-
Miyamoto Eiichi
Department Of System And Information Engineering Hokkaido University
-
Shigeta Yoshinori
Department Of System And Information Engineering Hokkaido University
著作論文
- A Simple Framework for Objects That Have Classes and Substructures Based on ET Paradigm
- Applying Program Transformation to Type Inference for a Logic Language
- A Specialization System for Domain Variables and Equivalent Transformation for Non-Equality Constraints
- Unreachability Proofs for β Rewriting Systems by Homomorphisms
- Common Structure of Semi-Thue Systems, Petri Nets, and Other Rewriting Systems