文献

J-GLOBAL ID：200902000499335077   整理番号：89A0374317

非線形項書換えシステムのユニークに収束する性質

On the uniquely converging property of nonlinear term rewriting systems.

著者 (2件)： OGAWA M (NTT Software Lab., Tokyo, JPN) ,  ONO S (NTT Software Lab., Tokyo, JPN)
資料名： 情報処理学会研究報告  (IPSJ SIG Technical Reports)
巻： 89  号： 40(SF-29)  ページ： 61-70  発行年： 1989年05月18日 
JST資料番号： Z0031B  ISSN： 0919-6072  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： できる限り非線形な項書換えシステム(TRS)のための,ユニー...

シソーラス用語： 書換え規則 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0374317&from=J-GLOBAL&jstjournalNo=Z0031B") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 非線形 ,  項書換えシステム ,  収束 ,  性質