MIYAMOTO Eiichi | Division of System and Information Engineering, Hokkaido University

スポンサーリンク

概要

• 同名の論文著者
• 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

スポンサーリンク