Category

Number of Access this item:1,678（2024-04-19 15:42 Counts）

Identifier to cite or link to this item: https://doi.org/10.15057/2026
Identifier to cite or link to this item: https://hdl.handle.net/10086/2026

Link to primary information 

File Format Size Views Description
cover_2026 pdf
HJart0320100790 pdf 253 KB 857

Item Information

Output File

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
English(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