|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7889
|
| タイトル: | Chew's theorem revisited - uniquely normalizing property of nonlinear term rewriting systems |
| 著者: | Ogawa, Mizuhito |
| 発行日: | 1992 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 620 |
| 開始ページ: | 309 |
| 終了ページ: | 318 |
| DOI: | 10.1007/3-540-56279-6_84 |
| 抄録: | This paper gives a purely syntactical proof, based on proof normalization techniques, of an extension of Chew's theorem. The main theorem is that a weakly compatible TRS is uniquely normalizing. Roughly speaking, the weakly compatible condition allows possibly nonlinear TRSs to have nonroot overlapping rules that return the same results. This result implies the consistency of CL-pc which is an extension of the combinatory logic CL with parallel-if rules. |
| Rights: | This is the author-created version of Springer, Mizuhito Ogawa, Lecture Notes in Computer Science, 620, 1992, 309-318. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/3-540-56279-6_84 |
| URI: | http://hdl.handle.net/10119/7889 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| isaac92.pdf | | 226Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
