WEKO3
アイテム
{"_buckets": {"deposit": "c3fec835-5684-4c25-b15a-02bdcf9f75f1"}, "_deposit": {"id": "7549", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7549"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00007549", "sets": ["599"]}, "author_link": ["21265", "21266", "21267"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-06", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "81", "bibliographicPageStart": "77", "bibliographic_titles": [{"bibliographic_title": "Proceedings of the 9th International Workshop on Termination", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper shows a sufficient syntactic condition for constructor TRSs whose inverse-computation CTRSs generated by Nishida, Sakai and Sakabe\u0027s inversion compiler are confluent and operationally terminating. By replacing the unraveling at the second phase of the compiler with Serbanuta and Rosu\u0027s transformation, we generate convergent TRSs for inverse computation of injective functions satisfying the sufficient condition.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/9239"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_text_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Nishida, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "21265", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "21266", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kato, Terutoshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "21267", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "sakai_3.pdf", "filesize": [{"value": "127.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 127500.0, "url": {"label": "sakai_3.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/7549/files/sakai_3.pdf"}, "version_id": "747bc3e7-5150-4904-b241-b7d36432f64f"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Convergent Term Rewriting Systems for Inverse Computation of Injective Functions", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Convergent Term Rewriting Systems for Inverse Computation of Injective Functions", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["599"], "permalink_uri": "http://hdl.handle.net/2237/9239", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2008-01-04"}, "publish_date": "2008-01-04", "publish_status": "0", "recid": "7549", "relation": {}, "relation_version_is_last": true, "title": ["Convergent Term Rewriting Systems for Inverse Computation of Injective Functions"], "weko_shared_id": -1}
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
名前 / ファイル | ライセンス | アクション |
---|---|---|
sakai_3.pdf (127.5 kB)
|
|
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 |