Art
J-GLOBAL ID：200902036137488813   Reference number：87A0201852

Automatic proofs by induction in equational theories without constructors.

コンストラクタ(constructor)のない方程式理論における推論による自動証明
Author (2)：
JOUANNAUD J-P

About JOUANNAUD J-P

(Centre de Recherche en Informatique de Nancy, Vandoeuvre, FRA)

About Centre de Recherche en Informatique de Nancy, Vandoeuvre, FRA

, 
KOUNALIS E

About KOUNALIS E

(Centre de Recherche en Informatique de Nancy, Vandoeuvre, FRA)

About Centre de Recherche en Informatique de Nancy, Vandoeuvre, FRA


Material：
Proceedings. Symposium on Logic in Computer Science, 1986  (Proc Symp Log Comput Sci 1986)

About Proceedings. Symposium on Logic in Computer Science, 1986


Page： 358-366  Publication year： 1986 
JST Material Number： K19860567  ISBN： 0-8186-0720-3  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.
equation

About equation

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

About Theory of computation

Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
トラクタ

About トラクタ

, 
方程式

About 方程式

, 
理論

About 理論

, 
推論

About 推論

, 
証明

About 証明


Return to Previous Page

TOP

BOTTOM