WEKO3
アイテム
Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
http://hdl.handle.net/2237/9239
http://hdl.handle.net/2237/92392288abb0-f5af-4e2c-aae2-b4d41a4b8684
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-01-04 | |||||
タイトル | ||||||
タイトル | Convergent Term Rewriting Systems for Inverse Computation of Injective Functions | |||||
言語 | en | |||||
著者 |
Nishida, Naoki
× Nishida, Naoki× Sakai, Masahiko× Kato, Terutoshi |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
抄録 | ||||||
内容記述 | This paper shows a sufficient syntactic condition for constructor TRSs whose inverse-computation CTRSs generated by Nishida, Sakai and Sakabe's inversion compiler are confluent and operationally terminating. By replacing the unraveling at the second phase of the compiler with Serbanuta and Rosu's transformation, we generate convergent TRSs for inverse computation of injective functions satisfying the sufficient condition. | |||||
言語 | en | |||||
内容記述タイプ | Abstract | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
書誌情報 |
en : Proceedings of the 9th International Workshop on Termination p. 77-81, 発行日 2007-06 |
|||||
フォーマット | ||||||
application/pdf | ||||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/9239 | |||||
識別子タイプ | HDL |