サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

弱単項TRSのE重なり性について

三橋 一郎,大山口 通夫,松浦 邦博

詳細情報

タイトル 弱単項TRSのE重なり性について
著者 三橋 一郎
著者 大山口 通夫
著者 松浦 邦博
出版地(国名コード) JP
別タイトル On the E-overlapping Property of Weak Monadic TRSs
出版年(W3CDTF) 2012-10
件名(キーワード) 項書き換えシステム
件名(キーワード) 弱単項TRS
件名(キーワード) E重なり性
件名(キーワード) ω重なり性
件名(キーワード) term rewriting system
件名(キーワード) weak monadic TRS
件名(キーワード) E-overlapping
件名(キーワード) ω-overlapping
NDLC ZM13
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(URI形式) https://iss.ndl.go.jp/books/R100000002-I000009254284-00
掲載誌情報(ISSN形式) 18827837
掲載誌情報(ISSN-L形式) 18827837
掲載誌名 情報処理学会論文誌 論文誌ジャーナル
掲載巻 53
掲載号 10
掲載ページ 2313-2327
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで