Art
J-GLOBAL ID：200902116998362822   Reference number：97A0327280

On termination of confluent one-rule string-rewriting systems.

合流性1規則ストリング書き換えシステムの停止性
Author (3)：
SHIKISHIMA-TSUJI K

About SHIKISHIMA-TSUJI K

(Tenri Univ., Tenri, JPN)

About Tenri Univ., Tenri, JPN

, 
KATSURA M

About KATSURA M

(Kyoto Sangyo Univ., Kyoto, JPN)

About Kyoto Sangyo Univ., Kyoto, JPN

, 
KOBAYASHI Y

About KOBAYASHI Y

(Toho Univ., Funabashi, JPN)

About Toho Univ., Funabashi, JPN


Material：
Information Processing Letters  (Inf Process Lett)

About Information Processing Letters


Volume： 61  Issue： 2  Page： 91-96  Publication year： Feb. 28, 1997 
JST Material Number： E0513A  ISSN： 0020-0190  Document type： Article
Article type： 短報  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
rewriting rule

About rewriting rule

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
停止性【ソフトウェア】

About 停止性【ソフトウェア】


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0327280&from=J-GLOBAL&jstjournalNo=E0513A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
合流性

About 合流性

, 
規則

About 規則

, 
書き換え

About 書き換え

, 
停止性

About 停止性


Return to Previous Page

TOP

BOTTOM