{"created":"2021-03-01T06:26:31.532927+00:00","id":19065,"links":{},"metadata":{"_buckets":{"deposit":"dc92ee0a-c7f2-48cd-b8d3-af4973bf55d6"},"_deposit":{"id":"19065","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19065"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019065","sets":["312:598:599"]},"author_link":["55710","55711","55712"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2011","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"282","bibliographicPageStart":"267","bibliographicVolumeNumber":"10","bibliographic_titles":[{"bibliographic_title":"Leibniz International Proceedings in Informatics (LIPIcs) : 22nd International Conference on Rewriting Techniques and Applications (RTA'11)","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound for every CTRS w.r.t. reduction, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch’s unraveling for deterministic CTRSs is sound w.r.t. reduction if the corresponding unraveled TRSs are left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch’s unraveling.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"RTA 2011 - 22nd Rewriting Techniques and Applications (Monday, May 30, 2011 to Wednesday, June 1, 2011, Novi Sad) Part of RDP'11","subitem_description_type":"Other"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21171"},{"subitem_identifier_type":"DOI","subitem_identifier_uri":"http://dx.doi.org/10.4230/LIPIcs.RTA.2011.267"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik","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.4230/LIPIcs.RTA.2011.267","subitem_relation_type_select":"DOI"}}]},"item_10_relation_8":{"attribute_name":"ISBN","attribute_value_mlt":[{"subitem_relation_type":"isPartOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"978-3-939897-30-9","subitem_relation_type_select":"ISBN"}}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1868-8969","subitem_source_identifier_type":"EISSN"}]},"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":"55710","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55711","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakabe, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55712","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"17.pdf","filesize":[{"value":"503.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"17.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19065/files/17.pdf"},"version_id":"684dff03-3918-4fdf-b461-7a5dfa6d5816"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"conditional term rewriting","subitem_subject_scheme":"Other"},{"subitem_subject":"program 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":"Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["599"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-01-30"},"publish_date":"2015-01-30","publish_status":"0","recid":"19065","relation_version_is_last":true,"title":["Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:39:34.157927+00:00"}