文献

J-GLOBAL ID：200902108765891105   整理番号：96A0500752

正規証明とその文法

Normal Proofs and Their Grammar.

著者 (3件)： TAKAHASHI M (Tokyo Inst. Technol., JPN) ,  AKAMA Y (Univ. Tokyo, JPN) ,  HIROKAWA S (Kyushu Univ., JPN)
資料名： Information and Computation  (Information and Computation)
巻： 125  号： 2  ページ： 144-153  発行年： 1996年03月15日 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： {M|Γ|-M:Mはβ正規形}という正規証明の集合の構造を文...

シソーラス用語： データ型 ,...

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

分類 (2件)： 計算理論  (JB02000A) ,  システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (2件)： 証明 ,  文法