ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "3b23e8a4-ae36-4189-8c39-b9d7a8edce0a"}, "_deposit": {"id": "7857", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7857"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00007857"}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1997-12", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "12", "bibliographicPageEnd": "1182", "bibliographicPageStart": "1176", "bibliographicVolumeNumber": "E80-D", "bibliographic_titles": [{"bibliographic_title": "IEICE Transactions on Information and Systems"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "This paper extends left-incompatible term rewriting systems defined by Toyama et al. [17]. It is also shown that the functional strategy is normalizing in the class, where the functional strategy is the reduction strategy that finds index by some rule selection method and top-down and left-to-right lazy pattern matching method.", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/9577"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "IEICE"}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "Copyright 1997 IEICE \u8a31\u8afe\u756a\u53f7 08RB0027\u53f7"}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0916-8532", "subitem_source_identifier_type": "ISSN"}]}, "item_10_text_14": {"attribute_name": "\u30d5\u30a9\u30fc\u30de\u30c3\u30c8", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "22459", "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": "2018-02-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "E80-D_n12_1176-1182.pdf", "filesize": [{"value": "649.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 649400.0, "url": {"label": "E80-D_n12_1176-1182.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/7857/files/E80-D_n12_1176-1182.pdf"}, "version_id": "58519b8c-129d-4fc3-be45-b470a90ace90"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "term rewriting system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "normalizing strategy", "subitem_subject_scheme": "Other"}, {"subitem_subject": "lazy evaluation", "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": "Left-Incompatible Term Rewriting Systems and Functional Strategy", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Left-Incompatible Term Rewriting Systems and Functional Strategy"}]}, "item_type_id": "10", "owner": "1", "path": ["320/321/322"], "permalink_uri": "http://hdl.handle.net/2237/9577", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2008-03-10"}, "publish_date": "2008-03-10", "publish_status": "0", "recid": "7857", "relation": {}, "relation_version_is_last": true, "title": ["Left-Incompatible Term Rewriting Systems and Functional Strategy"], "weko_shared_id": null}
  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

Left-Incompatible Term Rewriting Systems and Functional Strategy

http://hdl.handle.net/2237/9577
3dfa46e9-bf1a-4775-8d3c-ecc6ebbe9b0b
名前 / ファイル ライセンス アクション
E80-D_n12_1176-1182.pdf E80-D_n12_1176-1182.pdf (649.4 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2008-03-10
タイトル
タイトル Left-Incompatible Term Rewriting Systems and Functional Strategy
著者 SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 22459

SAKAI, Masahiko

Search repository
権利
権利情報 Copyright 1997 IEICE 許諾番号 08RB0027号
キーワード
主題Scheme Other
主題 term rewriting system
キーワード
主題Scheme Other
主題 normalizing strategy
キーワード
主題Scheme Other
主題 lazy evaluation
抄録
内容記述 This paper extends left-incompatible term rewriting systems defined by Toyama et al. [17]. It is also shown that the functional strategy is normalizing in the class, where the functional strategy is the reduction strategy that finds index by some rule selection method and top-down and left-to-right lazy pattern matching method.
内容記述タイプ Abstract
出版者
出版者 IEICE
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-8532
書誌情報 IEICE Transactions on Information and Systems

巻 E80-D, 号 12, p. 1176-1182, 発行日 1997-12
フォーマット
application/pdf
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/9577
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 20:06:49.987643
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