Art

J-GLOBAL ID：200902146440811082   Reference number：97A0110818

On the Church-Rosser Property of Non-E-overlapping and Strongly Depth-preserving Term Rewriting Systems.

非E重複と強深さ保存項再書込システムのChurch-Rosser特性

Author (3)： GOMI H (Mie Univ.) ,  OYAMAGUCHI M (Mie Univ.) ,  OHTA Y (Mie Univ.)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 37  Issue： 12  Page： 2147-2160  Publication year： Dec. 1996 
JST Material Number： Z0778A  ISSN： 0387-5806  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=97A0110818&from=J-GLOBAL&jstjournalNo=Z0778A") }}

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

Reference (9)：

• DERSHOWITZ, N. Rewrite Systems. Handbook of Theoretical Computer Science. 1990, 243-320
• HUET, G. Confluent Reductions: Abstract Properties and Applications to Term Rewrite Systems. J. ACM. 1980, Vol.27, 797-821
• MATSUURA, K. On the E-overlapping Property of Nonlinear Term Rewriting Systems. LA symposium. 1994
• OGAWA, M. On the Uniquely Converging Property of Nonlinear Term Rewriting Systems. Technical Report of IEICE, COMP 89-7. 1989, 61-70
• OYAMAGUCHI, M. On the Confluent Property of Right-ground Term Rewriting Systems. Trans. IEICE Japan. 1993, Vol.J76-D-I, 39-45

Terms in the title (2)： 保存 ,  書込