{"created":"2021-03-01T06:26:31.660023+00:00","id":19067,"links":{},"metadata":{"_buckets":{"deposit":"0bc51cb1-44a5-4e1e-815d-28cb25701203"},"_deposit":{"id":"19067","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19067"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019067","sets":["312:313:314"]},"author_link":["55716","55717"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-04","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"69","bibliographicPageStart":"53","bibliographicVolumeNumber":"204","bibliographic_titles":[{"bibliographic_title":"Electronic Notes in Theoretical Computer Science","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Length-two string rewriting systems are length-preserving string rewriting systems that consist of length-two rules. This paper shows that confluence, termination, left-most termination and right-most termination are undecidable properties for length-two string rewriting systems. These results mean that these properties are undecidable for the class of linear term rewriting systems in which depth-two variables are allowed in both sides of rules.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)","subitem_description_language":"en","subitem_description_type":"Other"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"DOI","subitem_identifier_uri":"http://dx.doi.org/10.1016/j.entcs.2008.03.053"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21173"}]},"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.entcs.2008.03.053","subitem_relation_type_select":"DOI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"© 2008 Elsevier B.V. Open access under CC BY-NC-ND license.","subitem_rights_language":"en"}]},"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":"1571-0661","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":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55716","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Wang, Yi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55717","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":"1-s2_0-S1571066108001588-main.pdf","filesize":[{"value":"363.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1-s2_0-S1571066108001588-main.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19067/files/1-s2_0-S1571066108001588-main.pdf"},"version_id":"8c97e64b-dc28-46ed-b9ba-91b58d28d6f2"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Rewriting system","subitem_subject_scheme":"Other"},{"subitem_subject":"confluence","subitem_subject_scheme":"Other"},{"subitem_subject":"left-most termination","subitem_subject_scheme":"Other"},{"subitem_subject":"right-most termination","subitem_subject_scheme":"Other"},{"subitem_subject":"length-two string rewriting system","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":"Undecidable Properties on Length-Two String Rewriting Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Undecidable Properties on Length-Two String Rewriting Systems","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-02-02"},"publish_date":"2015-02-02","publish_status":"0","recid":"19067","relation_version_is_last":true,"title":["Undecidable Properties on Length-Two String Rewriting Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:08:03.213013+00:00"}