{"created":"2021-03-01T06:26:32.117173+00:00","id":19074,"links":{},"metadata":{"_buckets":{"deposit":"a2ff2242-055a-4731-97c6-234847c0e7d1"},"_deposit":{"id":"19074","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19074"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019074","sets":["312:313:314"]},"author_link":["55730","55731"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"18–19","bibliographicPageEnd":"814","bibliographicPageStart":"810","bibliographicVolumeNumber":"110","bibliographic_titles":[{"bibliographic_title":"Information Processing Letters","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper shows that weakly-non-overlapping, non-collapsing and shallow term rewriting systems are confluent, which is a new sufficient condition on confluence for non-left-linear systems.","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.ipl.2010.06.015"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21176"}]},"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.ipl.2010.06.015","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 Information Processing Letters. 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 Information Processing Letters. v.110, n.18–19, 2010, p.810–814, DOI:10.1016/j.ipl.2010.06.015“","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":"0020-0190","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":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55730","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Ogawa, Mizuhito","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55731","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":"IPL10.pdf","filesize":[{"value":"139.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IPL10.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19074/files/IPL10.pdf"},"version_id":"7284a759-f3d2-4c67-9ac1-4ef1888283a6"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Term rewriting systems","subitem_subject_scheme":"Other"},{"subitem_subject":"Confluence","subitem_subject_scheme":"Other"},{"subitem_subject":"Formal languages","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":"Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-02-04"},"publish_date":"2015-02-04","publish_status":"0","recid":"19074","relation_version_is_last":true,"title":["Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:32:28.868994+00:00"}