Art

J-GLOBAL ID：200902000499335077   Reference number：89A0374317

On the uniquely converging property of nonlinear term rewriting systems.

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

Author (2)： OGAWA M (NTT Software Lab., Tokyo, JPN) ,  ONO S (NTT Software Lab., Tokyo, JPN)
Material： 情報処理学会研究報告  (IPSJ SIG Technical Reports)
Volume： 89  Issue： 40(SF-29)  Page： 61-70  Publication year： May. 18, 1989 
JST Material Number： Z0031B  ISSN： 0919-6072  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： rewriting rule ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0374317&from=J-GLOBAL&jstjournalNo=Z0031B") }}

JST classification (1)： Theory of computation  (JB02000A)

Terms in the title (4)： 非線形 ,  項書換えシステム ,  収束 ,  性質