Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 56

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 212

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 304

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 323

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 212

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 304

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 323

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 203

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 212

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 276

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 304

Warning: Undefined array key "abst" in /var/www/02search_html/bin/author.php on line 323
IEICE Trans

Eiichi MIYAMOTO

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 system, homomorphism, homomorphism theorem, unreachability, 
 Summary | Full Text:PDF
Applying Program Transformation to Type Inference for a Logic Language
Yuuichi KAWAGUCHI Kiyoshi AKAMA Eiichi MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/11/25
Vol. E81-D  No. 11  pp. 1141-1147
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
program transformation, type inference, logic language, 
 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 system, semi-Thue system, Petri net, abstract rewriting system, 
 Summary | Full Text:PDF