WEKO3
アイテム
{"_buckets": {"deposit": "c98ca9b0-ab00-46f4-8100-1338b868330d"}, "_deposit": {"id": "7562", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7562"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00007562", "sets": ["503"]}, "author_link": ["21301", "21302", "21303"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2001-10", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "198", "bibliographicPageStart": "188", "bibliographic_titles": [{"bibliographic_title": "The International Workshop on Rewriting in Proof and Computation", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "In this paper, we present an algorithm for generating a conditional TRS that implements the inverses of pure treeless functions defined by a pure treeless TRS which is a restricted orthogonal TRS. Our algorithm constructs conditional rules from a pure treeless TRS in such a way that each rule is reversed and then is modified according to the idea of the fusion transformation. We prove that the conditional TRS constructed by our algorithm implements the inverses of those functions defined by a given pure treeless TRS. Moreover, we show that the conditional TRS generated by our algorithm can be transformed to an equivalent TRS if the input pure treeless TRS of the algorithm is right-linear.", "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/9253"}]}, "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": "21301", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "21302", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "21303", "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_13.pdf", "filesize": [{"value": "194.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 194700.0, "url": {"label": "sakai_13.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/7562/files/sakai_13.pdf"}, "version_id": "2e53c472-f678-4a0f-913a-b0ced211a6c5"}]}, "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": "Generation of Inverse Term Rewriting Systems for Pure Treeless Functions", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Generation of Inverse Term Rewriting Systems for Pure Treeless Functions", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["503"], "permalink_uri": "http://hdl.handle.net/2237/9253", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2008-01-08"}, "publish_date": "2008-01-08", "publish_status": "0", "recid": "7562", "relation": {}, "relation_version_is_last": true, "title": ["Generation of Inverse Term Rewriting Systems for Pure Treeless Functions"], "weko_shared_id": -1}
Generation of Inverse Term Rewriting Systems for Pure Treeless Functions
http://hdl.handle.net/2237/9253
http://hdl.handle.net/2237/925330666832-0ce5-4962-86a6-e9d54fc87300
名前 / ファイル | ライセンス | アクション |
---|---|---|
sakai_13.pdf (194.7 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-01-08 | |||||
タイトル | ||||||
タイトル | Generation of Inverse Term Rewriting Systems for Pure Treeless Functions | |||||
言語 | en | |||||
著者 |
Nishida, Naoki
× Nishida, Naoki× Sakai, Masahiko× Sakabe, Toshiki |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
抄録 | ||||||
内容記述 | In this paper, we present an algorithm for generating a conditional TRS that implements the inverses of pure treeless functions defined by a pure treeless TRS which is a restricted orthogonal TRS. Our algorithm constructs conditional rules from a pure treeless TRS in such a way that each rule is reversed and then is modified according to the idea of the fusion transformation. We prove that the conditional TRS constructed by our algorithm implements the inverses of those functions defined by a given pure treeless TRS. Moreover, we show that the conditional TRS generated by our algorithm can be transformed to an equivalent TRS if the input pure treeless TRS of the algorithm is right-linear. | |||||
言語 | en | |||||
内容記述タイプ | Abstract | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
書誌情報 |
en : The International Workshop on Rewriting in Proof and Computation p. 188-198, 発行日 2001-10 |
|||||
フォーマット | ||||||
application/pdf | ||||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/9253 | |||||
識別子タイプ | HDL |