|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/10607
|
| タイトル: | Confluence of Non-Left-Linear TRSs via Relative Termination |
| 著者: | Klein, Dominik
Hirokawa, Nao |
| キーワード: | Term Rewriting
Confluence
Automation
E-Unification |
| 発行日: | 2012-03-06 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 7180/2102 |
| 開始ページ: | 258 |
| 終了ページ: | 273 |
| DOI: | 10.1007/978-3-642-28717-6_21 |
| 抄録: | We present a confluence criterion for term rewrite systems by relaxing termination requirements of Knuth and Bendix' confluence criterion, using joinability of extended critical pairs. Because computation of extended critical pairs requires equational unification, which is undecidable, we give a sufficient condition for testing joinability automatically. |
| Rights: | This is the author-created version of Springer, Dominik Klein and Nao Hirokawa, Lecture Notes in Computer Science, 7180/2102, 2012, 258-273. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-642-28717-6_21 |
| URI: | http://hdl.handle.net/10119/10607 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 17998.pdf | | 396Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
