文献

J-GLOBAL ID：200902275528365427   整理番号：03A0223065

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

On the Unification Problem for Confluent Monadic Term Rewriting Systems.

著者 (4件)： 三橋一郎 (三重大 工) ,  大山口通夫 (三重大 工) ,  太田義勝 (三重大 工) ,  山田俊行 (三重大 工)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 44  号： SIG4(PRO17)  ページ： 54-66  発行年： 2003年03月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 項書換えシステム(TRS)における単一化問題とは,与えられた...

シソーラス用語： *項書換え系 ,...
準シソーラス用語： 決定性

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

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

引用文献 (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

タイトルに関連する用語 (1件)： 単一化