ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "31d99765-6837-4543-bb4e-1b424bf5dba8"}, "_deposit": {"id": "19075", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19075"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019075", "sets": ["314"]}, "author_link": ["55732", "55733", "55734"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012-12", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "89", "bibliographicPageStart": "72", "bibliographicVolumeNumber": "464", "bibliographic_titles": [{"bibliographic_title": "Theoretical Computer Science", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system is complete for some class by introducing a strategy for the transformation system.", "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.1016/j.tcs.2012.09.005"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21177"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Elsevier", "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.1016/j.tcs.2012.09.005", "subitem_relation_type_select": "DOI"}}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "“NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science. v.464, 2012, p.72–89, DOI:10.1016/j.tcs.2012.09.005“", "subitem_rights_language": "en"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0304-3975", "subitem_source_identifier_type": "PISSN"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "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": "Nagashima, Masanori", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55732", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55733", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55734", "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": "TCS12.pdf", "filesize": [{"value": "307.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 307400.0, "url": {"label": "TCS12.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/19075/files/TCS12.pdf"}, "version_id": "5775ef9f-d5a8-4070-85d3-2a815c06251b"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Deterministic conditional term rewriting system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Functional program", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Rule-based transformation", "subitem_subject_scheme": "Other"}]}, "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": "Determinization of conditional term rewriting systems", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Determinization of conditional term rewriting systems", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21177", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-02-04"}, "publish_date": "2015-02-04", "publish_status": "0", "recid": "19075", "relation": {}, "relation_version_is_last": true, "title": ["Determinization of conditional term rewriting systems"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

Determinization of conditional term rewriting systems

http://hdl.handle.net/2237/21177
http://hdl.handle.net/2237/21177
6e4bd753-b138-4aba-aca9-50eaf65f43cb
名前 / ファイル ライセンス アクション
TCS12.pdf TCS12.pdf (307.4 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-02-04
タイトル
タイトル Determinization of conditional term rewriting systems
言語 en
著者 Nagashima, Masanori

× Nagashima, Masanori

WEKO 55732

en Nagashima, Masanori

Search repository
Sakai, Masahiko

× Sakai, Masahiko

WEKO 55733

en Sakai, Masahiko

Search repository
Sakabe, Toshiki

× Sakabe, Toshiki

WEKO 55734

en Sakabe, Toshiki

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 en
権利情報 “NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science. v.464, 2012, p.72–89, DOI:10.1016/j.tcs.2012.09.005“
キーワード
主題Scheme Other
主題 Deterministic conditional term rewriting system
キーワード
主題Scheme Other
主題 Functional program
キーワード
主題Scheme Other
主題 Rule-based transformation
抄録
内容記述 This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system is complete for some class by introducing a strategy for the transformation system.
言語 en
内容記述タイプ Abstract
出版者
言語 en
出版者 Elsevier
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ AM
出版タイプResource http://purl.org/coar/version/c_ab4af688f83e57aa
DOI
関連タイプ isVersionOf
識別子タイプ DOI
関連識別子 https://doi.org/10.1016/j.tcs.2012.09.005
ISSN
収録物識別子タイプ PISSN
収録物識別子 0304-3975
書誌情報 en : Theoretical Computer Science

巻 464, p. 72-89, 発行日 2012-12
著者版フラグ
値 author
URI
識別子 http://dx.doi.org/10.1016/j.tcs.2012.09.005
識別子タイプ DOI
URI
識別子 http://hdl.handle.net/2237/21177
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:23:18.338273
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