WEKO3
アイテム
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
http://hdl.handle.net/2237/21176
http://hdl.handle.net/2237/2117613674633-25ff-407c-bbe5-76b811da170c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPL10.pdf (139.1 kB)
|
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-02-04 | |||||
| タイトル | ||||||
| タイトル | Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent | |||||
| 言語 | en | |||||
| 著者 |
Sakai, Masahiko
× Sakai, Masahiko× Ogawa, Mizuhito |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 権利情報 | “NOTICE: this is the author’s version of a work that was accepted for publication in Information Processing Letters. Changes resulting from the publishing process, such as 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 Information Processing Letters. v.110, n.18–19, 2010, p.810–814, DOI:10.1016/j.ipl.2010.06.015“ | |||||
| 言語 | en | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Term rewriting systems | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Confluence | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Formal languages | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | This paper shows that weakly-non-overlapping, non-collapsing and shallow term rewriting systems are confluent, which is a new sufficient condition on confluence for non-left-linear systems. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | Elsevier | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| DOI | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | https://doi.org/10.1016/j.ipl.2010.06.015 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0020-0190 | |||||
| 書誌情報 |
en : Information Processing Letters 巻 110, 号 18–19, p. 810-814, 発行日 2010-09 |
|||||
| 著者版フラグ | ||||||
| 値 | author | |||||
| URI | ||||||
| 識別子 | http://dx.doi.org/10.1016/j.ipl.2010.06.015 | |||||
| 識別子タイプ | DOI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21176 | |||||
| 識別子タイプ | HDL | |||||
