Keyword : homomorphism theorem


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