文献
J-GLOBAL ID：200902295324323416   整理番号：04A0122364

左辺線形項書換系のChurch-Rosserに関する未解決問題

On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems
著者 (2件)：
OYAMAGUCHI M

OYAMAGUCHI M について

(Mie Univ., Tsu-shi, JPN)

Mie Univ., Tsu-shi, JPN について

, 
OHTA Y

OHTA Y について

(Mie Univ., Tsu-shi, JPN)

Mie Univ., Tsu-shi, JPN について


資料名：
IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))

IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers) について


巻： E87-D  号： 2  ページ： 290-298  発行年： 2004年02月01日 
JST資料番号： L1371A  ISSN： 0916-8532  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Church-Rosser(CR)は,項書換系の各種応用で重...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*項書換え系

項書換え系 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Church-Rosser

Church-Rosser について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0122364&from=J-GLOBAL&jstjournalNo=L1371A") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
線形

線形 について

, 
項書換系

項書換系 について

, 
未解決問題

未解決問題 について


前のページに戻る

TOP

BOTTOM