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.pdf226KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係