スポンサーリンク

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

スポンサーリンク