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

• 資料種別: 記事
• タイトル: 単項的TRSにおける単一化問題について
• 著者・編者: 三橋 一郎; 大山口 通夫; 太田 義勝 他
• 著者標目: 三橋 一郎; 大山口 通夫; 太田 義勝
• タイトル（掲載誌）: 情報処理学会論文誌. SIG
• 巻号年月日等（掲載誌）: 44(4) 2003.3
• 掲載巻: 44
• 掲載号: 4
• 掲載ページ: 54～66
• 掲載年月日（W3CDTF）: 2003-03
• ISSN（掲載誌）: 0387-5806
• ISSN-L（掲載誌）: 0387-5806
• 出版事項（掲載誌）: 東京 : 情報処理学会
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDLC: ZM13
• 対象利用者: 一般
• 所蔵機関: 国立国会図書館
• 請求記号: Z74-C192
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 6520346; http://id.ndl.go.jp/bib/6520346
• 整理区分コード: 632

• 要約等: 項書換えシステム（TRS）における単一化問題とは，与えられたTRS R と2 つの項M，N について，R における書き換えの合同関係を法としてM とN が単一化可能であるか否かを判定する問題である．単一化問題は，TRS の部分クラスである右定項TRS のクラスに限定しても決定不能である．他方，その部...