{"created":"2021-03-01T06:14:12.778354+00:00","id":7549,"links":{},"metadata":{"_buckets":{"deposit":"c3fec835-5684-4c25-b15a-02bdcf9f75f1"},"_deposit":{"id":"7549","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7549"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00007549","sets":["312:598:599"]},"author_link":["21265","21266","21267"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-06","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"81","bibliographicPageStart":"77","bibliographic_titles":[{"bibliographic_title":"Proceedings of the 9th International Workshop on Termination","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper shows a sufficient syntactic condition for constructor TRSs whose inverse-computation CTRSs generated by Nishida, Sakai and Sakabe's inversion compiler are confluent and operationally terminating. By replacing the unraveling at the second phase of the compiler with Serbanuta and Rosu's transformation, we generate convergent TRSs for inverse computation of injective functions satisfying the sufficient condition.","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/9239"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"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":"Nishida, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21265","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21266","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Kato, Terutoshi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21267","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":"sakai_3.pdf","filesize":[{"value":"127.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"sakai_3.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/7549/files/sakai_3.pdf"},"version_id":"747bc3e7-5150-4904-b241-b7d36432f64f"}]},"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":"Convergent Term Rewriting Systems for Inverse Computation of Injective Functions","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Convergent Term Rewriting Systems for Inverse Computation of Injective Functions","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["599"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2008-01-04"},"publish_date":"2008-01-04","publish_status":"0","recid":"7549","relation_version_is_last":true,"title":["Convergent Term Rewriting Systems for Inverse Computation of Injective Functions"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T03:53:07.846257+00:00"}