ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "0e73adce-4a62-47ed-9b7f-d4463687c95c"}, "_deposit": {"id": "13084", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13084"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00013084"}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1998-05-20", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "5", "bibliographicPageEnd": "426", "bibliographicPageStart": "419", "bibliographicVolumeNumber": "E81-D", "bibliographic_titles": [{"bibliographic_title": "IEICE transactions on information and systems"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "Huet and Levy showed that index reduction is a normalizing strategy for every orthogonal strongly sequential term rewriting system. Toyama extended this result to root balanced joinable strongly sequential systems. In this paper, we present a class including all root balanced joinable strongly sequential systems and show that index reduction is normalizing for this class. We also propose a class of left-linear (possibly overlapping) NV-sequential systems having a normalizing strategy.", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://www.ieice.org/jpn/trans_online/index.html"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/14979"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "Institute of Electronics, Information and Communication Engineers"}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "Copyright (C) 1998 IEICE"}]}, "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_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "NAGAYA, Takashi"}], "nameIdentifiers": [{"nameIdentifier": "41177", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "41178", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "TOYAMA, Yoshihito"}], "nameIdentifiers": [{"nameIdentifier": "41179", "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-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "408.pdf", "filesize": [{"value": "754.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 754500.0, "url": {"label": "408.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/13084/files/408.pdf"}, "version_id": "c4fd5e96-a97c-486a-80b6-c1f5b415c055"}]}, "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": "strong sequentiality", "subitem_subject_scheme": "Other"}, {"subitem_subject": "index reduction", "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": "Index Reduction of Overlapping Strongly Sequential Systems", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Index Reduction of Overlapping Strongly Sequential Systems"}]}, "item_type_id": "10", "owner": "1", "path": ["320/321/322"], "permalink_uri": "http://hdl.handle.net/2237/14979", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2011-06-29"}, "publish_date": "2011-06-29", "publish_status": "0", "recid": "13084", "relation": {}, "relation_version_is_last": true, "title": ["Index Reduction of Overlapping Strongly Sequential Systems"], "weko_shared_id": null}
  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

Index Reduction of Overlapping Strongly Sequential Systems

http://hdl.handle.net/2237/14979
db246cb5-9419-4e98-94e1-9448f35080a8
名前 / ファイル ライセンス アクション
408.pdf 408.pdf (754.5 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2011-06-29
タイトル
タイトル Index Reduction of Overlapping Strongly Sequential Systems
著者 NAGAYA, Takashi

× NAGAYA, Takashi

WEKO 41177

NAGAYA, Takashi

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 41178

SAKAI, Masahiko

Search repository
TOYAMA, Yoshihito

× TOYAMA, Yoshihito

WEKO 41179

TOYAMA, Yoshihito

Search repository
権利
権利情報 Copyright (C) 1998 IEICE
キーワード
主題Scheme Other
主題 term rewriting system
キーワード
主題Scheme Other
主題 normalizing strategy
キーワード
主題Scheme Other
主題 strong sequentiality
キーワード
主題Scheme Other
主題 index reduction
抄録
内容記述 Huet and Levy showed that index reduction is a normalizing strategy for every orthogonal strongly sequential term rewriting system. Toyama extended this result to root balanced joinable strongly sequential systems. In this paper, we present a class including all root balanced joinable strongly sequential systems and show that index reduction is normalizing for this class. We also propose a class of left-linear (possibly overlapping) NV-sequential systems having a normalizing strategy.
内容記述タイプ Abstract
出版者
出版者 Institute of Electronics, Information and Communication Engineers
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-8532
書誌情報 IEICE transactions on information and systems

巻 E81-D, 号 5, p. 419-426, 発行日 1998-05-20
著者版フラグ
値 publisher
URI
識別子 http://www.ieice.org/jpn/trans_online/index.html
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/14979
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 18:39:30.192382
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