{"created":"2021-03-01T06:14:32.177002+00:00","id":7856,"links":{},"metadata":{"_buckets":{"deposit":"c6fcf060-c05e-4451-88ef-9ab86e630bb1"},"_deposit":{"id":"7856","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7856"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00007856","sets":["312:313:314"]},"author_link":["22456","22457","22458"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1998-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"9","bibliographicPageEnd":"996","bibliographicPageStart":"988","bibliographicVolumeNumber":"E81-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":"Simplification orderings, like the recursive path ordering and the improved recursive decomposition ordering, are widely used for proving the termination property of term rewriting systems. The improved recursive decomposition ordering is known as the most powerful simplification ordering. Recently Jouannaud and Rubio extended the recursive path ordering to higher-order rewrite systems by introducing an ordering on type structure. In this paper we extend the improved recursive decomposition ordering for proving termination of higher-order rewrite systems. The key idea of our ordering is a new concept of pseudoterminal occurrences.","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/9576"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"IEICE","subitem_publisher_language":"ja"}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright 1998 IEICE 許諾番号 08RB0027号","subitem_rights_language":"ja"}]},"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":"IWAMI, Munehiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"22456","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"22457","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"TOYAMA, Yoshihito","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"22458","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":"E-81-D_9_988-996.pdf","filesize":[{"value":"1.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"E-81-D_9_988-996.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/7856/files/E-81-D_9_988-996.pdf"},"version_id":"3fe6ef3f-f012-47f0-bb16-9525091e402e"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"higher-order rewrite system","subitem_subject_scheme":"Other"},{"subitem_subject":"term rewriting system","subitem_subject_scheme":"Other"},{"subitem_subject":"termination","subitem_subject_scheme":"Other"},{"subitem_subject":"improved recursive decomposition ordering","subitem_subject_scheme":"Other"},{"subitem_subject":"pseudoterminal occurrence","subitem_subject_scheme":"Other"},{"subitem_subject":"type","subitem_subject_scheme":"Other"},{"subitem_subject":"simplification ordering","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 Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2008-03-10"},"publish_date":"2008-03-10","publish_status":"0","recid":"7856","relation_version_is_last":true,"title":["An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T05:02:57.830185+00:00"}