Cut-elimination and normal forms of sequent derivations

＜図書＞
Cut-elimination and normal forms of sequent derivations

責任表示	Grigori Mints
シリーズ	Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-94-193
データ種別	図書
出版情報	Stanford, Calif. : Center for the Study of Language and Information (CSLI) , c1994
本文言語	英語
大きさ	15, 27, 9 p. ; 28 cm
目次	Normal forms for sequent derivations Indexed systems of sequents and cut-elimination Normalization as an epsilon substitution process

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図自動書庫	言語	1994		110032018810052		予約・取寄		出庫可能	予約・取寄		出庫可能

内容注記	Normal forms for sequent derivations Indexed systems of sequents and cut-elimination Normalization as an epsilon substitution process
一般注記	"November 1994" Includes bibliographical references
著者標目	Mint︠s︡, Grigori Pollard, Carl Jesse Stanford University. Center for the Study of Language and Information
書誌ID	1001662244
NCID	BA76212757
登録日	2018.08.21
更新日	2018.08.21