文献

J-GLOBAL ID：200902009492788235   整理番号：82A0327276

構成子を有した等式理論における帰納的証明

Proofs by induction in equational theories with constructors.

著者 (2件)： HUET G (INRIA, France) ,  HULLOT J-M (INRIA, France)
資料名： Annual Symposium on Foundations of Computer Science  (Annual Symposium on Foundations of Computer Science)
巻： 21st  ページ： 96-107  発行年： 1980年 
JST資料番号： D0710A  ISSN： 0272-5428  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Knuh-Bendix完全アルゴリズムの拡張による方程式の多...

シソーラス用語： プログラムの正しさ ,...

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

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 等式理論 ,  証明