Art
J-GLOBAL ID：200902108765891105   Reference number：96A0500752

Normal Proofs and Their Grammar.

正規証明とその文法
Author (3)：
TAKAHASHI M

About TAKAHASHI M

(Tokyo Inst. Technol., JPN)

About Tokyo Inst. Technol., JPN

, 
AKAMA Y

About AKAMA Y

(Univ. Tokyo, JPN)

About Univ. Tokyo, JPN

, 
HIROKAWA S

About HIROKAWA S

(Kyushu Univ., JPN)

About Kyushu Univ., JPN


Material：
Information and Computation  (Inf Comput)

About Information and Computation


Volume： 125  Issue： 2  Page： 144-153  Publication year： Mar. 15, 1996 
JST Material Number： D0449A  ISSN： 0890-5401  CODEN： INFCEC  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.
data type

About data type

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

About Theory of computation

,  System programmings in general 
(JD03010Y)

About System programmings in general

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
証明

About 証明

, 
文法

About 文法


Return to Previous Page

TOP

BOTTOM