ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

Conditions for confluence of innermost terminating term rewriting systems

http://hdl.handle.net/2237/00030806
64366c0d-d387-483b-8e4c-c7845d574b8f
名前 / ファイル ライセンス アクション
aaecc2018.pdf aaecc2018 (327.2 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2019-10-15
タイトル
タイトル Conditions for confluence of innermost terminating term rewriting systems
著者 Ishizuki, Sayaka

× Ishizuki, Sayaka

WEKO 93693

Ishizuki, Sayaka

Search repository
Oyamaguchi, Michio

× Oyamaguchi, Michio

WEKO 93694

Oyamaguchi, Michio

Search repository
Sakai, Masahiko

× Sakai, Masahiko

WEKO 93695

Sakai, Masahiko

Search repository
権利
権利情報 “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
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 09:58:30.678972
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio