WEKO3
アイテム
Index Reduction of Overlapping Strongly Sequential Systems
http://hdl.handle.net/2237/14979
http://hdl.handle.net/2237/14979db246cb5-9419-4e98-94e1-9448f35080a8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
408.pdf (754.5 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-06-29 | |||||
| タイトル | ||||||
| タイトル | Index Reduction of Overlapping Strongly Sequential Systems | |||||
| 言語 | en | |||||
| 著者 |
NAGAYA, Takashi
× NAGAYA, Takashi× SAKAI, Masahiko× TOYAMA, Yoshihito |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | en | |||||
| 権利情報 | Copyright (C) 1998 IEICE | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | term rewriting system | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | normalizing strategy | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | strong sequentiality | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | index reduction | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Huet and Levy showed that index reduction is a normalizing strategy for every orthogonal strongly sequential term rewriting system. Toyama extended this result to root balanced joinable strongly sequential systems. In this paper, we present a class including all root balanced joinable strongly sequential systems and show that index reduction is normalizing for this class. We also propose a class of left-linear (possibly overlapping) NV-sequential systems having a normalizing strategy. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | Institute of Electronics, Information and Communication Engineers | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0916-8532 | |||||
| 書誌情報 |
en : IEICE transactions on information and systems 巻 E81-D, 号 5, p. 419-426, 発行日 1998-05-20 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/14979 | |||||
| 識別子タイプ | HDL | |||||
