文献

J-GLOBAL ID：200902192688044250   整理番号：98A0048659

非線形TRSのE重なり性について

On the E-Overlapping Property of Nonlinear Term Rewriting Systems.

著者 (4件)： 松浦邦博 (三重大 工) ,  大山口通夫 (三重大 工) ,  太田義勝 (三重大 工) ,  小川瑞史 (NTT 基礎研)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： J80-D-1  号： 11  ページ： 847-855  発行年： 1997年11月 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 項書換えシステム(TRS)の重要な性質の一つに合流性があり,...

シソーラス用語： 非線形系 ,...
準シソーラス用語： 項書換えシステム ,...

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

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

引用文献 (6件)：

• OGAWA, M. On the uniquely converging property of nonlinear term rewriting system. 情報処理学会, ソフトウェア基礎論研究会研究報告. 1989, 61-70
• OYAMAGUCHI, M. The reachability and joinability problems for right-ground term-rewriting systems. Journal of Information Processing. 1990, 13, 3
• 大山口通夫. 右定項-項書換えシステムの合流性について. 信学論(D-I). 1993, J76-D-I, 2, 39-45
• 太田義勝. 単純右線形-項書換えシステムの合流性について. 信学論(D-I). 1995, J78-D-I, 3, 263-268
• MARTELLI, A. Efficient unification with infinite terms in logic programming. ON FIFTH GENERATION COMPUTER SYSTEMS. 1984, 202-209

タイトルに関連する用語 (2件)： 非線形 ,  重なり