WEKO3
アイテム
A-034 Persistence of Termination for Non-Overlapping Term Rewriting Systems
https://ipsj.ixsq.nii.ac.jp/records/154610
https://ipsj.ixsq.nii.ac.jp/records/154610e5fc3dfa-6ea6-48cf-88fc-19fd2b4c2b1e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006540615.pdf (460.7 kB)
|
Copyright (c) 2004 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-08-20 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A-034 Persistence of Termination for Non-Overlapping Term Rewriting Systems | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 島根大 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Science and Engineering, Shimane University | ||||||||
| 著者名 |
岩見, 宗弘
× 岩見, 宗弘
|
|||||||
| 著者名(英) |
Iwami, Munehiro
× Iwami, Munehiro
|
|||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A property P is called persistent if for any manysorted term rewriting system R, R has the property P if and only if term rewriting system Θ(R), which results from R by omitting its sort information, has the property P. In this paper, we show that termination is persistent for non-overlapping term rewriting systems and we give the example as application of this result. Furthermore we obtain that completeness is persistent for non-overlapping term rewriting systems. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11740605 | |||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 3, 号 1, p. 77-80, 発行日 2004-08-20 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
