ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "ae68cd6d-f0fb-4559-aad2-917373b82acb"}, "_deposit": {"id": "19064", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19064"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019064", "sets": ["314"]}, "author_link": ["55707", "55708", "55709"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012-08", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "3", "bibliographicPageEnd": "4", "bibliographicPageStart": "4", "bibliographicVolumeNumber": "8", "bibliographic_titles": [{"bibliographic_title": "Logical Methods in Computer Science", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch\u0027s unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch\u0027s unraveling. Finally, we show that soundness of Ohlebusch\u0027s unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch\u0027s unraveling.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "DOI", "subitem_identifier_uri": "http://dx.doi.org/10.2168/LMCS-8(3:4)2012"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21170"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Logical Methods in Computer Science", "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.2168/LMCS-8(3:4)2012", "subitem_relation_type_select": "DOI"}}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "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": "55707", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55708", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55709", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "1206_5694.pdf", "filesize": [{"value": "581.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 581300.0, "url": {"label": "1206_5694.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/19064/files/1206_5694.pdf"}, "version_id": "6928a772-4710-4c21-91d0-f452b2db3807"}]}, "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": "Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21170", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-01-30"}, "publish_date": "2015-01-30", "publish_status": "0", "recid": "19064", "relation": {}, "relation_version_is_last": true, "title": ["Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

http://hdl.handle.net/2237/21170
http://hdl.handle.net/2237/21170
5f4754f2-c61b-44b4-93f3-b3da490b47e0
名前 / ファイル ライセンス アクション
1206_5694.pdf 1206_5694.pdf (581.3 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-01-30
タイトル
タイトル Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
言語 en
著者 Nishida, Naoki

× Nishida, Naoki

WEKO 55707

en Nishida, Naoki

Search repository
Sakai, Masahiko

× Sakai, Masahiko

WEKO 55708

en Sakai, Masahiko

Search repository
Sakabe, Toshiki

× Sakabe, Toshiki

WEKO 55709

en Sakabe, Toshiki

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
抄録
内容記述 Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.
言語 en
内容記述タイプ Abstract
出版者
言語 en
出版者 Logical Methods in Computer Science
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
DOI
関連タイプ isVersionOf
識別子タイプ DOI
関連識別子 https://doi.org/10.2168/LMCS-8(3:4)2012
書誌情報 en : Logical Methods in Computer Science

巻 8, 号 3, p. 4-4, 発行日 2012-08
著者版フラグ
値 publisher
URI
識別子 http://dx.doi.org/10.2168/LMCS-8(3:4)2012
識別子タイプ DOI
URI
識別子 http://hdl.handle.net/2237/21170
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:23:38.309477
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

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

Confirm


Powered by WEKO3


Powered by WEKO3