{"created":"2021-03-01T06:26:31.723863+00:00","id":19068,"links":{},"metadata":{"_buckets":{"deposit":"8a62b1e6-e1b7-41ee-82f3-d4044783e5d5"},"_deposit":{"id":"19068","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19068"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019068","sets":["312:313:314"]},"author_link":["55718","55719","55720"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-04","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"34","bibliographicPageStart":"21","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":"Yi and Sakai [Y. Wang and M. Sakai. Decidability of termination for semi-constructor trss, left-linear shallow trss and related systems. In the 17th International Conference on Rewriting Techniques and Applications, volume 4098 of Lecture Notes in Computer Science, pages 343–356, 2006.] showed that the termination problem is a decidable property for the class of semi-constructor term rewriting systems, which is a superclass of the class of right-ground term rewriting systems. Decidability was shown by the fact that every non-terminating TRS in the class has a loop. In this paper we modify the proof of [Y. Wang and M. Sakai. Decidability of termination for semi-constructor trss, left-linear shallow trss and related systems. In the 17th International Conference on Rewriting Techniques and Applications, volume 4098 of Lecture Notes in Computer Science, pages 343–356, 2006.] to show that both innermost termination and μ-termination are decidable properties for the class of semi-constructor TRSs.","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.051"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21174"}]},"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.051","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":"Uchiyama, Keita","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55718","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55719","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakabe, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55720","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-S1571066108001564-main.pdf","filesize":[{"value":"355.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1-s2_0-S1571066108001564-main.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19068/files/1-s2_0-S1571066108001564-main.pdf"},"version_id":"f9f9eb2b-fc33-4f8e-be33-865eff15f847"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Context-Sensitive Termination","subitem_subject_scheme":"Other"},{"subitem_subject":"Dependency Pair","subitem_subject_scheme":"Other"},{"subitem_subject":"Innermost Termination","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":"Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems","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":"19068","relation_version_is_last":true,"title":["Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:08:03.366255+00:00"}