文献

J-GLOBAL ID：200902164523122694   整理番号：98A0424122

ルートE重なりのChurch-Rosser性と強深さ保存項書換えシステムについて

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

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

抄録/ポイント： 項書換えシステム(TRS)のChurch-Rosser(CR...

シソーラス用語： *プログラム理論 ,...
準シソーラス用語： Church-Rosser性

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

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

引用文献 (12件)：

• Dershowitz, N. Handbook of Theoretical Computer Science. 1990, B, 243-320
• Huet, G. Confliuent reductions:abstract properties and applications to term rewrite systems. J. ACM. 1980, 27, 4, 797-821
• Matsuura, K. On the E-overlapping Property of NonLinear Term Rewriting Systems. Trans. IEICE Japan. 1997, J80-D-1, 11, 847-855
• Ogawa, M. On the uniquely converging property of nonlinear term rewriting systems. Technical Report of IEICE. 1989, 61-70
• Oyamaguchi, M. On the Confluent Property of Right-Ground Term Rewriting Systems. Trans. IEICE Japan. 1993, J76-D-I, 2, 39-45

タイトルに関連する用語 (3件)： 重なり ,  保存 ,  項書換えシステム