HERMES-IR : Research & Education Resources >
030 Department Bulletin Papers = 本学紀要論文 >
*Hitotsubashi journal of arts and sciences >
Vol. 32, no. 1 (Dec. 1991) >

Please use this identifier to cite or link to this item:

Files in This Item:

File Description SizeFormat
HJart0320100790.pdf253KbAdobe PDF
Title: On the Length of Proofs after Eliminating Atomic Cut Inferences
Authors: Honda, Noriko
Issue Date: Dec-1991
Publisher: Hitotsubashi Academy, Hitotsubashi University
Citation: Hitotsubashi journal of arts and sciences
Volume: 32
Issue: 1
Start Page: 79
End Page: 85
Language: eng
DOI: 10.15057/2026
Text Version: publisher
Appears in Collections:Vol. 32, no. 1 (Dec. 1991)

Items in HERMES-IR are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2006 MIT and Hewlett-Packard - Feedback