KIYOSHI AKAMA | Department of System and Information Engineering, Hokkaido University
スポンサーリンク
概要
- KIYOSHI AKAMAの詳細を見る
- 同名の論文著者
- Department of System and Information Engineering, Hokkaido Universityの論文著者
Department of System and Information Engineering, Hokkaido University | 論文
- 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
- Generating Equivalent Transformation Rules from Specifications of Problems