{"created":"2021-03-01T06:36:43.258796+00:00","id":28615,"links":{},"metadata":{"_buckets":{"deposit":"48a56c74-d884-428d-b714-13293a9710bc"},"_deposit":{"id":"28615","owners":[],"pid":{"revision_id":0,"type":"depid","value":"28615"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00028615","sets":["312:313:314"]},"author_link":["93693","93694","93695"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2019-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicPageEnd":"360","bibliographicPageStart":"349","bibliographicVolumeNumber":"30","bibliographic_titles":[{"bibliographic_title":"Applicable Algebra in Engineering, Communication and Computing","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper presents a counterexample for the open conjecture whether innermost joinability of all critical pairs ensures confluence of innermost terminating term rewriting systems. We then show that innermost joinability of all normalized instances of the critical pairs is a necessary and sufficient condition. Using this condition, we give a decidable sufficient condition for confluence of innermost terminating systems. Finally, we enrich the condition by introducing the notion of left-stable rules. As a corollary, confluence of innermost terminating left-weakly-shallow TRSs is shown to be decidable.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"ファイル公開：2020/08/01","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Springer","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.1007/s00200-018-0377-8","subitem_relation_type_select":"DOI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":" \t“This is a post-peer-review, pre-copyedit version of an article published in [Applicable Algebra in Engineering, Communication and Computing]. The final authenticated version is available online at: http://dx.doi.org/10.1007/s00200-018-0377-8”.","subitem_rights_language":"en"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"author"}]},"item_10_source_id_61":{"attribute_name":"ISSN（print）","attribute_value_mlt":[{"subitem_source_identifier":"0938-1279","subitem_source_identifier_type":"PISSN"}]},"item_10_source_id_62":{"attribute_name":"ISSN（Online）","attribute_value_mlt":[{"subitem_source_identifier":"1432-0622","subitem_source_identifier_type":"EISSN"}]},"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":"Ishizuki, Sayaka","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"93693","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Oyamaguchi, Michio","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"93694","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"93695","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-08-01"}],"displaytype":"detail","filename":"aaecc2018.pdf","filesize":[{"value":"327.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"aaecc2018","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/28615/files/aaecc2018.pdf"},"version_id":"6d037022-9cc5-426b-a586-1daa6f2f54e1"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Confluence","subitem_subject_scheme":"Other"},{"subitem_subject":"Innermost termination","subitem_subject_scheme":"Other"},{"subitem_subject":"Term rewriting systems","subitem_subject_scheme":"Other"},{"subitem_subject":"Decidability","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":"Conditions for confluence of innermost terminating term rewriting systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Conditions for confluence of innermost terminating term rewriting systems","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-10-15"},"publish_date":"2019-10-15","publish_status":"0","recid":"28615","relation_version_is_last":true,"title":["Conditions for confluence of innermost terminating term rewriting systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:21:35.487280+00:00"}