文献

J-GLOBAL ID：200902143783214129   整理番号：95A0359950

単純右線形項書換えシステムの合流性について

On the Church-Rosser Property of Simple-Right-Linear TRS’s.

著者 (3件)： 太田義勝 (三重大 工) ,  大山口通夫 (三重大 工) ,  外山芳人 (北陸先端科学技術大学院大)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： 78  号： 3  ページ： 263-268  発行年： 1995年03月 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： 書換え規則 ,...
準シソーラス用語： Church-Rosser性

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

分類 (1件)： 数理言語学  (JB05000V)

引用文献 (12件)：

• 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
• OGAWA, M. On the uniquely converging property of nonlinear term rewriting systems. 信学技報. 1989, COMP89-7, 61-70

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