文献

J-GLOBAL ID：200902146440811082   整理番号：97A0110818

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

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

著者 (3件)： GOMI H (Mie Univ.) ,  OYAMAGUCHI M (Mie Univ.) ,  OHTA Y (Mie Univ.)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 37  号： 12  ページ： 2147-2160  発行年： 1996年12月 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： TRS(term rewriting system)の深さ依...

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

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

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

引用文献 (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

タイトルに関連する用語 (2件)： 保存 ,  書込