文献
J-GLOBAL ID：200902011222681212   整理番号：92A0748787

DTRCによる条件付き項書換えシステムの解釈

Interpretation of Conditional Term Rewriting Systems by DTRC.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0748787&from=J-GLOBAL&jstjournalNo=X0080A") }}
著者 (3件)：
FENG S

FENG S について

(Nagoya Univ.)

Nagoya Univ. について

, 
SAKABE T

SAKABE T について

(Nagoya Univ.)

Nagoya Univ. について

, 
INAGAKI Y

INAGAKI Y について

(Nagoya Univ.)

Nagoya Univ. について


資料名：
日本ソフトウエア科学会大会論文集

日本ソフトウエア科学会大会論文集 について


巻： 9th  ページ： 313-316  発行年： 1992年09月 
JST資料番号： X0080A  ISSN： 0913-5391  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
DTRC(Dynamic Term Rewriting Ca...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラム理論

プログラム理論 について

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

計算理論 について

タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
項書換えシステム

項書換えシステム について


前のページに戻る

TOP

BOTTOM