Yoshinori SHIGETA


Unreachability Proofs for β Rewriting Systems by Homomorphisms
Kiyoshi AKAMA Yoshinori SHIGETA Eiichi MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/02/25
Vol. E82-D  No. 2  pp. 339-347
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
β rewriting systemhomomorphismhomomorphism theoremunreachability
 Summary | Full Text:PDF

Common Structure of Semi-Thue Systems, Petri Nets, and Other Rewriting Systems
Kiyoshi AKAMA Yoshinori SHIGETA Eiichi MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/12/25
Vol. E80-D  No. 12  pp. 1141-1148
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
rewriting systemsemi-Thue systemPetri netabstract rewriting system
 Summary | Full Text:PDF