{"created":"2021-03-01T06:16:06.232079+00:00","id":9341,"links":{},"metadata":{"_buckets":{"deposit":"4037570a-7fda-4082-8c35-4ca46bfd9e24"},"_deposit":{"id":"9341","owners":[],"pid":{"revision_id":0,"type":"depid","value":"9341"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00009341","sets":["312:313:314"]},"author_link":["26694","26695"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"356","bibliographicPageStart":"343","bibliographicVolumeNumber":"4098","bibliographic_titles":[{"bibliographic_title":"Proceedings of 17th Int'l Conference on Rewriting Techniqes and Applications, Seattle RTA2006, LNCS","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"We consider several classes of term rewriting systems and prove that termination is de- cidable for these classes. By showing the cycling property of infinite dependency chains, we prove that termination is decidable for semi-constructor case, which is a superclass of right- ground TRSs. By analyzing argument propagation cycles in the dependency graph, we show that termination is also decidable for left-linear shallow TRSs. Moreover we extend these by combining these two techniques.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"初出後の修正版。","subitem_description_language":"ja","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/11118"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"author"}]},"item_10_text_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_text_value":"application/pdf"}]},"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":"Wang, Yi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"26694","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"26695","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-20"}],"displaytype":"detail","filename":"rta06-bf.pdf","filesize":[{"value":"153.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"rta06-bf.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/9341/files/rta06-bf.pdf"},"version_id":"740b0dcb-6b5d-4080-9628-e8e1235810e6"}]},"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 Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2009-02-16"},"publish_date":"2009-02-16","publish_status":"0","recid":"9341","relation_version_is_last":true,"title":["Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:32:42.718273+00:00"}