カテゴリ

このアイテムのアクセス数:1,803件（2024-06-26 08:46 集計）

このアイテムへのリンクには次のURLをご利用ください: https://doi.org/10.15057/2026
このアイテムへのリンクには次のURLをご利用ください: https://hdl.handle.net/10086/2026

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
cover_2026 pdf
HJart0320100790 pdf 253 KB 867

詳細情報

詳細情報出力

Title
On the Length of Proofs after Eliminating Atomic Cut Inferences
Creator
Creator Name
Honda, Noriko Honda, Noriko
Publisher
Hitotsubashi Academy, Hitotsubashi University
Issued Date
1991-12
Language
英語(eng)
Resource Type
departmental bulletin paper（紀要論文）
Version Type
VoR
selfDOI
10.15057/2026
ISSN
0073-2788
NCID
AA00207525
Source Title
Hitotsubashi journal of arts and sciences
Volume Number
32
Issue Number
1
Page Start
79
Page End
85
Appears in Collections
Vol. 32, no. 1 (Dec. 1991)
URL
https://hdl.handle.net/10086/2026