文献

J-GLOBAL ID：200902133903029147   整理番号：93A0273306

右定項-項書換えシステムの合流性について

On the Confluent Property of Right-Ground Term Rewriting Systems.

著者 (2件)： 大山口通夫 (三重大 工) ,  太田義勝 (三重大 工)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： 76  号： 2  ページ： 39-45  発行年： 1993年02月 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

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

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

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

引用文献 (12件)：

• DAUCHET, M. Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems. Inform. Comput. 1990, 88, 187-201
• DERSHOWITZ, N. Rewrite Systems. Handbook of Theoretical Computer Science. 1990, B, 243-320
• HUET, G. Confluent reductions : abstract properties and applications to term rewriting systems. J. ACM. 1980, 27, 797-821
• HUET, G. Equations and Rewrite Rules ; A Survey. Formal Language Theory : Perspectives and Open Problems. 1980, 349-393
• KNUTH, D. Simple word problems in universal algebra. Computational Problems in Abstract Algebra. 1970, 263-297

タイトルに関連する用語 (2件)： 項書換えシステム ,  合流性