WEKO3
AND
アイテム
{"_buckets": {"deposit": "48a56c74-d884-428d-b714-13293a9710bc"}, "_deposit": {"id": "28615", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "28615"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00028615"}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2019-08", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "4", "bibliographicPageEnd": "360", "bibliographicPageStart": "349", "bibliographicVolumeNumber": "30", "bibliographic_titles": [{"bibliographic_title": "Applicable Algebra in Engineering, Communication and Computing"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "This paper presents a counterexample for the open conjecture whether innermost joinability of all critical pairs ensures confluence of innermost terminating term rewriting systems. We then show that innermost joinability of all normalized instances of the critical pairs is a necessary and sufficient condition. Using this condition, we give a decidable sufficient condition for confluence of innermost terminating systems. Finally, we enrich the condition by introducing the notion of left-stable rules. As a corollary, confluence of innermost terminating left-weakly-shallow TRSs is shown to be decidable.", "subitem_description_type": "Abstract"}]}, "item_10_description_5": {"attribute_name": "\u5185\u5bb9\u8a18\u8ff0", "attribute_value_mlt": [{"subitem_description": "\u30d5\u30a1\u30a4\u30eb\u516c\u958b\uff1a2020/08/01", "subitem_description_type": "Other"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "Springer"}]}, "item_10_relation_11": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.1007/s00200-018-0377-8", "subitem_relation_type_select": "DOI"}}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": " \t\u201cThis is a post-peer-review, pre-copyedit version of an article published in [Applicable Algebra in Engineering, Communication and Computing]. The final authenticated version is available online at: http://dx.doi.org/10.1007/s00200-018-0377-8\u201d."}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_10_source_id_61": {"attribute_name": "ISSN\uff08print\uff09", "attribute_value_mlt": [{"subitem_source_identifier": "0938-1279", "subitem_source_identifier_type": "ISSN"}]}, "item_10_source_id_62": {"attribute_name": "ISSN\uff08Online\uff09", "attribute_value_mlt": [{"subitem_source_identifier": "1432-0622", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Ishizuki, Sayaka"}], "nameIdentifiers": [{"nameIdentifier": "93693", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Oyamaguchi, Michio"}], "nameIdentifiers": [{"nameIdentifier": "93694", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "93695", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-08-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "aaecc2018.pdf", "filesize": [{"value": "327.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 327200.0, "url": {"label": "aaecc2018", "url": "https://nagoya.repo.nii.ac.jp/record/28615/files/aaecc2018.pdf"}, "version_id": "6d037022-9cc5-426b-a586-1daa6f2f54e1"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "Confluence", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Innermost termination", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Term rewriting systems", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Decidability", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Conditions for confluence of innermost terminating term rewriting systems", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Conditions for confluence of innermost terminating term rewriting systems"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/00030806", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2019-10-15"}, "publish_date": "2019-10-15", "publish_status": "0", "recid": "28615", "relation": {}, "relation_version_is_last": true, "title": ["Conditions for confluence of innermost terminating term rewriting systems"], "weko_shared_id": null}
Conditions for confluence of innermost terminating term rewriting systems
http://hdl.handle.net/2237/00030806
64366c0d-d387-483b-8e4c-c7845d574b8f
名前 / ファイル | ライセンス | アクション | |
---|---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-10-15 | |||||
タイトル | ||||||
タイトル | Conditions for confluence of innermost terminating term rewriting systems | |||||
著者 |
Ishizuki, Sayaka
× Ishizuki, Sayaka× Oyamaguchi, Michio× Sakai, Masahiko |
|||||
権利 | ||||||
権利情報 | “This is a post-peer-review, pre-copyedit version of an article published in [Applicable Algebra in Engineering, Communication and Computing]. The final authenticated version is available online at: http://dx.doi.org/10.1007/s00200-018-0377-8”. | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Confluence | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Innermost termination | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Term rewriting systems | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Decidability | |||||
抄録 | ||||||
内容記述 | This paper presents a counterexample for the open conjecture whether innermost joinability of all critical pairs ensures confluence of innermost terminating term rewriting systems. We then show that innermost joinability of all normalized instances of the critical pairs is a necessary and sufficient condition. Using this condition, we give a decidable sufficient condition for confluence of innermost terminating systems. Finally, we enrich the condition by introducing the notion of left-stable rules. As a corollary, confluence of innermost terminating left-weakly-shallow TRSs is shown to be decidable. | |||||
内容記述タイプ | Abstract | |||||
内容記述 | ||||||
内容記述 | ファイル公開:2020/08/01 | |||||
内容記述タイプ | Other | |||||
出版者 | ||||||
出版者 | Springer | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
DOI | ||||||
関連識別子 | ||||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.1007/s00200-018-0377-8 | |||||
ISSN(print) | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0938-1279 | |||||
ISSN(Online) | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 1432-0622 | |||||
書誌情報 |
Applicable Algebra in Engineering, Communication and Computing 巻 30, 号 4, p. 349-360, 発行日 2019-08 |
|||||
著者版フラグ | ||||||
値 | author |