文献
J-GLOBAL ID:200902116998362822
整理番号:97A0327280
合流性1規則ストリング書き換えシステムの停止性
On termination of confluent one-rule string-rewriting systems.
著者 (3件):
SHIKISHIMA-TSUJI K
(Tenri Univ., Tenri, JPN)
,
KATSURA M
(Kyoto Sangyo Univ., Kyoto, JPN)
,
KOBAYASHI Y
(Toho Univ., Funabashi, JPN)
資料名:
Information Processing Letters
(Information Processing Letters)
巻:
61
号:
2
ページ:
91-96
発行年:
1997年02月28日
JST資料番号:
E0513A
ISSN:
0020-0190
資料種別:
逐次刊行物 (A)
記事区分:
短報
発行国:
オランダ (NLD)
言語:
英語 (EN)