Art
J-GLOBAL ID：200902009492788235   Reference number：82A0327276

Proofs by induction in equational theories with constructors.

構成子を有した等式理論における帰納的証明
Author (2)：
HUET G

About HUET G

(INRIA, France)

About INRIA, France

, 
HULLOT J-M

About HULLOT J-M

(INRIA, France)

About INRIA, France


Material：
Annual Symposium on Foundations of Computer Science  (Annu Symp Found Comput Sci)

About Annual Symposium on Foundations of Computer Science


Volume： 21st  Page： 96-107  Publication year： 1980 
JST Material Number： D0710A  ISSN： 0272-5428  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
program correctness

About program correctness

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=82A0327276&from=J-GLOBAL&jstjournalNo=D0710A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
等式理論

About 等式理論

, 
証明

About 証明


Return to Previous Page

TOP

BOTTOM