{"created":"2021-03-01T06:14:19.002089+00:00","id":7647,"links":{},"metadata":{"_buckets":{"deposit":"7427204d-84e7-45ae-9e79-9dc1d3bc8dde"},"_deposit":{"id":"7647","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7647"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00007647","sets":["312:313:314"]},"author_link":["21604","21605","21606","21607","21608"],"item_1615768549627":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_9_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-05","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"170","bibliographicPageStart":"166","bibliographicVolumeNumber":"1554","bibliographic_titles":[{"bibliographic_title":"数理解析研究所講究録","bibliographic_titleLang":"ja"}]}]},"item_9_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Yi and Sakai [7] showed that the termination problem is decidable for a class of semiconstructor term rewriting systems, which is a supurclass of the class of right ground term rewriting systems. The 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 [7] to show that innermost termination is decidable for the class of semi-constructor TRSs.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_9_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/9352"}]},"item_9_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"京都大学数理解析研究所","subitem_publisher_language":"ja"}]},"item_9_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_9_source_id_7":{"attribute_name":"ISSN（print）","attribute_value_mlt":[{"subitem_source_identifier":"1880-2818","subitem_source_identifier_type":"PISSN"}]},"item_9_text_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_text_value":"application/pdf"}]},"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":"21604","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21605","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21606","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21607","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21608","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-19"}],"displaytype":"detail","filename":"1554_166-170.pdf","filesize":[{"value":"326.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1554_166-170.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/7647/files/1554_166-170.pdf"},"version_id":"97a97690-736a-4ed5-808b-014c3ab51e2a"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems","subitem_title_language":"en"}]},"item_type_id":"9","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2008-01-22"},"publish_date":"2008-01-22","publish_status":"0","recid":"7647","relation_version_is_last":true,"title":["Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T05:02:55.644608+00:00"}