{"created":"2021-03-01T06:14:32.303531+00:00","id":7858,"links":{},"metadata":{"_buckets":{"deposit":"e6a4743d-959d-48e9-959e-9646af348c69"},"_deposit":{"id":"7858","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7858"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00007858","sets":["320:321:322"]},"author_link":["22460","22461","22462"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2001-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"8","bibliographicPageEnd":"1032","bibliographicPageStart":"1025","bibliographicVolumeNumber":"E84-D","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Information and Systems","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper explores how to extend the dependency pair technique for proving termination of higher-order rewrite systems. We show that the termination property of higher-order rewrite systems can be checked by the non-exsistence of an infinite R-chain, which is an extension of Arts' and Giesl's result for the first-order case. It is clarified that the subterm property of the quasi-ordering, used for proving termination automatically, is indispensable.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/9578"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"IEICE","subitem_publisher_language":"en"}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright 2001 IEICE 許諾番号 08RB0027号","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":"0916-8532","subitem_source_identifier_type":"PISSN"}]},"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_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":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"22460","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"WATANABE, Yoshitsugu","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"22461","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"22462","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":"E84-D_n8_1025-1032.pdf","filesize":[{"value":"899.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"E84-D_n8_1025-1032.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/7858/files/E84-D_n8_1025-1032.pdf"},"version_id":"9771effa-2a0c-46ee-87e6-1d760c05d3a3"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"termination","subitem_subject_scheme":"Other"},{"subitem_subject":"dependency pair","subitem_subject_scheme":"Other"},{"subitem_subject":"higher-order rewrite system","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":"An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["322"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2008-03-10"},"publish_date":"2008-03-10","publish_status":"0","recid":"7858","relation_version_is_last":true,"title":["An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T03:53:20.418793+00:00"}