Art

J-GLOBAL ID：200902275528365427   Reference number：03A0223065

On the Unification Problem for Confluent Monadic Term Rewriting Systems.

単項的TRSにおける単一化問題について

Author (4)： MITSUHASHI ICHIRO (三重大 工) ,  OYAMAGUCHI MICHIO (三重大 工) ,  OTA YOSHIKATSU (三重大 工) ,  YAMADA TOSHIYUKI (三重大 工)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 44  Issue： SIG4(PRO17)  Page： 54-66  Publication year： Mar. 15, 2003 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *term rewriting system ,...
Semi thesaurus term： determinacy

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0223065&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (1)： Theory of computation  (JB02000A)

Reference (14)：

• COMON, H. Syntacticness, Cycle-Syntacticness and Shallow Theories. Information and Computation. 1994, 111, 1, 154-191
• DAUCHET, M. The Theory of Ground Rewriting Systems is Decidable. Proc. 5th IEEE Symp. Logic in Computer Science. 1990, 242-248
• DERSHOWITZ, N. Rewrite Systems. Handbook of Theoretical Computer Science, B. 1990, 243-320
• GOMI, H. On the Church-Rosser Property of Non-E-Overlapping and Strongly Depth-Preserving Term Rewriting Systems. Trans. Information Processing Society of Japan. 1996, 37, 12, 2147-2160
• GOMI, H. On the Church-Rosser Property of Root-E-Overlapping and Strongly Depth-Preserving Term Rewriting Systems. Trans. Information Processing Society of Japan. 1998, 39, 4, 992-1005

Terms in the title (1)： 単一化