文献
J-GLOBAL ID：200902116998362822   整理番号：97A0327280

合流性1規則ストリング書き換えシステムの停止性

On termination of confluent one-rule string-rewriting systems.
著者 (3件)：
SHIKISHIMA-TSUJI K

SHIKISHIMA-TSUJI K について

(Tenri Univ., Tenri, JPN)

Tenri Univ., Tenri, JPN について

, 
KATSURA M

KATSURA M について

(Kyoto Sangyo Univ., Kyoto, JPN)

Kyoto Sangyo Univ., Kyoto, JPN について

, 
KOBAYASHI Y

KOBAYASHI Y について

(Toho Univ., Funabashi, JPN)

Toho Univ., Funabashi, JPN について


資料名：
Information Processing Letters  (Information Processing Letters)

Information Processing Letters について


巻： 61  号： 2  ページ： 91-96  発行年： 1997年02月28日 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： オランダ (NLD)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
標題書き換えシステムであるR={s→t}が,別の1規則ストリ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
書換え規則

書換え規則 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
停止性【ソフトウェア】

停止性【ソフトウェア】 について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0327280&from=J-GLOBAL&jstjournalNo=E0513A") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
合流性

合流性 について

, 
規則

規則 について

, 
書き換え

書き換え について

, 
停止性

停止性 について


前のページに戻る

TOP

BOTTOM