WEKO3
アイテム
{"_buckets": {"deposit": "31d99765-6837-4543-bb4e-1b424bf5dba8"}, "_deposit": {"id": "19075", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19075"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019075", "sets": ["314"]}, "author_link": ["55732", "55733", "55734"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012-12", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "89", "bibliographicPageStart": "72", "bibliographicVolumeNumber": "464", "bibliographic_titles": [{"bibliographic_title": "Theoretical Computer Science", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system is complete for some class by introducing a strategy for the transformation system.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "DOI", "subitem_identifier_uri": "http://dx.doi.org/10.1016/j.tcs.2012.09.005"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21177"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Elsevier", "subitem_publisher_language": "en"}]}, "item_10_relation_11": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.1016/j.tcs.2012.09.005", "subitem_relation_type_select": "DOI"}}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "“NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science. v.464, 2012, p.72–89, DOI:10.1016/j.tcs.2012.09.005“", "subitem_rights_language": "en"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0304-3975", "subitem_source_identifier_type": "PISSN"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "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": "Nagashima, Masanori", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55732", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55733", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55734", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "TCS12.pdf", "filesize": [{"value": "307.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 307400.0, "url": {"label": "TCS12.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/19075/files/TCS12.pdf"}, "version_id": "5775ef9f-d5a8-4070-85d3-2a815c06251b"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Deterministic conditional term rewriting system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Functional program", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Rule-based transformation", "subitem_subject_scheme": "Other"}]}, "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": "Determinization of conditional term rewriting systems", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Determinization of conditional term rewriting systems", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21177", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-02-04"}, "publish_date": "2015-02-04", "publish_status": "0", "recid": "19075", "relation": {}, "relation_version_is_last": true, "title": ["Determinization of conditional term rewriting systems"], "weko_shared_id": -1}
Determinization of conditional term rewriting systems
http://hdl.handle.net/2237/21177
http://hdl.handle.net/2237/211776e4bd753-b138-4aba-aca9-50eaf65f43cb
名前 / ファイル | ライセンス | アクション |
---|---|---|
TCS12.pdf (307.4 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-02-04 | |||||
タイトル | ||||||
タイトル | Determinization of conditional term rewriting systems | |||||
言語 | en | |||||
著者 |
Nagashima, Masanori
× Nagashima, Masanori× Sakai, Masahiko× Sakabe, Toshiki |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | en | |||||
権利情報 | “NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science. v.464, 2012, p.72–89, DOI:10.1016/j.tcs.2012.09.005“ | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Deterministic conditional term rewriting system | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Functional program | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Rule-based transformation | |||||
抄録 | ||||||
内容記述 | This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system is complete for some class by introducing a strategy for the transformation system. | |||||
言語 | en | |||||
内容記述タイプ | Abstract | |||||
出版者 | ||||||
言語 | en | |||||
出版者 | Elsevier | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
出版タイプ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.1016/j.tcs.2012.09.005 | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 0304-3975 | |||||
書誌情報 |
en : Theoretical Computer Science 巻 464, p. 72-89, 発行日 2012-12 |
|||||
著者版フラグ | ||||||
値 | author | |||||
URI | ||||||
識別子 | http://dx.doi.org/10.1016/j.tcs.2012.09.005 | |||||
識別子タイプ | DOI | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/21177 | |||||
識別子タイプ | HDL |