{"created":"2021-03-01T06:14:13.037150+00:00","id":7553,"links":{},"metadata":{"_buckets":{"deposit":"ffc659b6-0f6d-4ac0-bbe9-c0947fda1f85"},"_deposit":{"id":"7553","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7553"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00007553","sets":["312:598:599"]},"author_link":["21275","21276","21277"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2005-04","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"278","bibliographicPageStart":"264","bibliographic_titles":[{"bibliographic_title":"16th International Conference on Term Rewriting and Applications","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already given. In this paper, we propose a partial-inversion compiler of constructor term rewriting systems. The compiler automatically generates a conditional term rewriting system, and then unravels it to an unconditional system. To improve the efficiency of inverse computation, we show that innermost strategy is usable to obtain all solutions if the generated system is right-linear.","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/9245"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Springer","subitem_publisher_language":"en"}]},"item_10_relation_11":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1007/978-3-540-32033-3_20","subitem_relation_type_select":"DOI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"The original publication is available at www.springerlink.com.","subitem_rights_language":"en"}]},"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":"21275","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21276","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakabe, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21277","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_7.pdf","filesize":[{"value":"282.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"sakai_7.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/7553/files/sakai_7.pdf"},"version_id":"f28b4638-0ed8-4724-8c5a-d91b9ec4f4cb"}]},"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":"Partial Inversion of Constructor Term Rewriting Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Partial Inversion of Constructor Term Rewriting Systems","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["599"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2008-01-07"},"publish_date":"2008-01-07","publish_status":"0","recid":"7553","relation_version_is_last":true,"title":["Partial Inversion of Constructor Term Rewriting Systems"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T03:53:04.250553+00:00"}