|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/5033
|
| タイトル: | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem |
| 著者: | Mano, Ken
Ogawa, Mizuhito |
| 発行日: | 2001-05-06 |
| 出版者: | Elsevier |
| 誌名: | Theoretical Computer Science |
| 巻: | 258 |
| 号: | 1-2 |
| 開始ページ: | 169 |
| 終了ページ: | 208 |
| DOI: | 10.1016/S0304-3975(99)00340-0 |
| 抄録: | We present a new and complete proof of Chew's theorem, which states that a compatible term rewriting system has the unique normal form property, i.e., a↔b implies a≡b for any normal forms a,b. |
| 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 Ken Mano, Mizuhito Ogawa, Theoretical Computer Science, 258(1-2), 2001, 169-208, http://dx.doi.org/10.1016/S0304-3975(99)00340-0 |
| URI: | http://hdl.handle.net/10119/5033 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| C2250.pdf | | 457Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
