|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9508
|
| タイトル: | Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent |
| 著者: | Sakai, Masahiko
Ogawa, Mizuhito |
| キーワード: | term rewriting system
confluence
non-left linear |
| 発行日: | 2010-09-15 |
| 出版者: | Elsevier |
| 誌名: | Information Processing Letters |
| 巻: | 110 |
| 号: | 18-19 |
| 開始ページ: | 810 |
| 終了ページ: | 814 |
| DOI: | 10.1016/j.ipl.2010.06.015 |
| 抄録: | This paper shows that {weakly}-non-overlapping, non-collapsing andshallow term rewriting systems are confluent, which is a newsufficient condition on confluence for non-left-linear systems. |
| Rights: | NOTICE: This is the author’s version of a work accepted for publication by Elsevier. Changes resulting from the publishing process, including peer review, editing, corrections, structural formatting and other quality control mechanisms, may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Masahiko Sakai, Mizuhito Ogawa, Information Processing Letters, 110(18-19), 2010, 810-814, http://dx.doi.org/10.1016/j.ipl.2010.06.015 |
| URI: | http://hdl.handle.net/10119/9508 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 15924-1.pdf | | 153Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
