スポンサーリンク
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