ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

Index Reduction of Overlapping Strongly Sequential Systems

http://hdl.handle.net/2237/14979
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
言語 en
著者 NAGAYA, Takashi

× NAGAYA, Takashi

WEKO 41177

en NAGAYA, Takashi

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 41178

en SAKAI, Masahiko

Search repository
TOYAMA, Yoshihito

× TOYAMA, Yoshihito

WEKO 41179

en TOYAMA, Yoshihito

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 en
権利情報 Copyright (C) 1998 IEICE
キーワード
主題Scheme Other
主題 term rewriting system
キーワード
主題Scheme Other
主題 normalizing strategy
キーワード
主題Scheme Other
主題 strong sequentiality
キーワード
主題Scheme Other
主題 index reduction
抄録
内容記述タイプ Abstract
内容記述 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.
言語 en
出版者
出版者 Institute of Electronics, Information and Communication Engineers
言語 en
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://www.ieice.org/jpn/trans_online/index.html
ISSN
収録物識別子タイプ PISSN
収録物識別子 0916-8532
書誌情報 en : 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 Twitter Facebook Print Addthis

Cite as

エクスポート

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

Confirm


Powered by WEKO3


Powered by WEKO3