Art
J-GLOBAL ID：200902106348594600   Reference number：95A0210385

Controlled Integration of the Cut Rule into Connection Tableau Calculi.

接続タブロー計算へのカットルールの制御型統合
Author (3)：
LETZ R

About LETZ R

(Technische Univ. Muenchen, Munich, DEU)

About Technische Univ. Muenchen, Munich, DEU

, 
MAYR K

About MAYR K

(Technische Univ. Muenchen, Munich, DEU)

About Technische Univ. Muenchen, Munich, DEU

, 
GOLLER C

About GOLLER C

(Technische Univ. Muenchen, Munich, DEU)

About Technische Univ. Muenchen, Munich, DEU


Material：
Journal of Automated Reasoning

About Journal of Automated Reasoning


Volume： 13  Issue： 3  Page： 297-337  Publication year： Dec. 1994 
JST Material Number： D0269E  ISSN： 0168-7433  CODEN： JAREEW  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  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.
theorem proving

About theorem proving

,...
Semi 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.
モデル消去法

About モデル消去法

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

About Theory of computation

,  Database systems 
(JD03030U)

About Database systems

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
計算

About 計算

, 
ルール

About ルール

, 
制御型

About 制御型

, 
統合

About 統合


Return to Previous Page

TOP

BOTTOM