{"created":"2023-06-19T11:37:37.039544+00:00","id":4993,"links":{},"metadata":{"_buckets":{"deposit":"a6bf6423-7828-4f17-af54-6336a34e61da"},"_deposit":{"created_by":13,"id":"4993","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"4993"},"status":"published"},"_oai":{"id":"oai:mie-u.repo.nii.ac.jp:00004993","sets":["366:367:368:388"]},"author_link":["10693","10694"],"item_4_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1995-12-21","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"118","bibliographicPageStart":"99","bibliographicVolumeNumber":"20","bibliographic_titles":[{"bibliographic_title":"Research reports of the Faculty of Engineering, Mie University"}]}]},"item_4_description_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_4_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"A term rewriting system (TRS) is said to be simple-right-linear if for any rewrite rule, the right-hand-side term is linear and no variables occuring more than once in the left-hand-side occur in the right-hand-side. This paper shows that a simple-right-linear TRS is Church-ROsser (i.e., confluent) if it satisfies the following condition (called the sequence-normalizing property) : for any reduction sequence γ : M ←→ N of length n, there exists a reduction sequence δ : M ←→ N of length ≤ n such that no E-overlapping sequences occur in δ. Next, some sufficient conditions for this sequence-normalizing property are presented and shown to be a generalization of those for Church-Rosser obtained by two different approaches proposed in [Oyamaguchi, 1992] and [Toyama-Oyamaguchi, 1993].","subitem_description_type":"Abstract"}]},"item_4_publisher_30":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Faculty of Engineering, Mie University"}]},"item_4_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0385-6208","subitem_source_identifier_type":"PISSN"}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00816341","subitem_source_identifier_type":"NCID"}]},"item_4_text_18":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"E重なりのある単純右線形項書き換えシステムの合流性について"}]},"item_4_text_65":{"attribute_name":"資源タイプ（三重大）","attribute_value_mlt":[{"subitem_text_value":"Departmental Bulletin Paper / 紀要論文"}]},"item_4_version_type_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Oyamaguchi, Michio","creatorNameLang":"en"},{"creatorName":"大山口, 通夫","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"10693","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Toyama, Yoshihito","creatorNameLang":"en"},{"creatorName":"外山, 芳人","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"10694","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-02-18"}],"displaytype":"detail","filename":"AA008163410200010.PDF","filesize":[{"value":"1.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"AA008163410200010.PDF","url":"https://mie-u.repo.nii.ac.jp/record/4993/files/AA008163410200010.PDF"},"version_id":"888ae369-f872-460c-8c0a-184f25381a7a"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"term-reweiting system","subitem_subject_scheme":"Other"},{"subitem_subject":"Church-Rosser","subitem_subject_scheme":"Other"},{"subitem_subject":"confluence","subitem_subject_scheme":"Other"},{"subitem_subject":"nonlinear TRS","subitem_subject_scheme":"Other"},{"subitem_subject":"nonterminating TRS","subitem_subject_scheme":"Other"},{"subitem_subject":"E-overlapping","subitem_subject_scheme":"Other"},{"subitem_subject":"simple-right-linear","subitem_subject_scheme":"Other"}]},"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":"On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's","subitem_title_language":"en"}]},"item_type_id":"4","owner":"13","path":["388"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2007-07-02"},"publish_date":"2007-07-02","publish_status":"0","recid":"4993","relation_version_is_last":true,"title":["On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2023-10-05T06:34:04.850515+00:00"}