Itoh Yuzo | Division of System and Information Engineering, Hokkaido University

スポンサーリンク

概要

• Itoh Yuzoの詳細を見る
• 同名の論文著者
• Division of System and Information Engineering, Hokkaido Universityの論文著者

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

もっと見る

スポンサーリンク