文献

J-GLOBAL ID：200902139267645264   整理番号：95A0262270

DTRCによる陽な帰納的方程式推論の機械化

Mechanizing Explicit Inductive Equational Reasoning by DTRC.

著者 (3件)： FENG S (Nagoya Univ., Nagoya-shi, JPN) ,  SAKABE T (Nagoya Univ., Nagoya-shi, JPN) ,  INAGAKI Y (Nagoya Univ., Nagoya-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))
巻： E78-D  号： 2  ページ： 113-121  発行年： 1995年02月 
JST資料番号： L1371A  ISSN： 0916-8532  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 項書き換えシステムを扱うアルゴリズムの形式的記述と検証を目的...

シソーラス用語： 帰納推論 ,...
準シソーラス用語： 構造帰納法

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0262270&from=J-GLOBAL&jstjournalNo=L1371A") }}

分類 (1件)： 人工知能  (JE08000Z)

引用文献 (10件)：

• FENG, S. Dynamic Term Rewriting Calculus and its Application. IEICE Technical Report. 1991, COMP, 91-147
• FENG, S. Interpretation of Conditional Term Rewriting System by DTRC. Proc. of 9th Conference of Japan Society for Software Science and Technology. 1992, 313-316
• HUET, G. Proofs by Induction in Equational Theories with Constructors. Rapports de Recherch, INRIA. 1980, 28
• HUET, G. Equations and rewrite rules: A survey. Formal Language Theory: Perspectives and Open Problems. 1980, 349-405
• JOUANNAUD, J. P. Proof by induction in equational theories without constructors. Proc. of 1st Symp. on Logic In Computer Science. 1986, 358-366

タイトルに関連する用語 (3件)： 方程式 ,  推論 ,  機械化