ようこそ ゲスト さん
HERMES-IR ログイン
English
収録コンテンツ
ランキング
アクセスランキング
ダウンロードランキング
その他
Special Collections
HERMES-Catalog
カテゴリ
030 Department Bulletin Papers = 本学紀要論文
*Hitotsubashi journal of arts and sciences
Vol. 64, no. 1 (Mar. 2024)
Vol. 63, no. 1 (Dec. 2022)
Vol. 62, no. 1 (Dec. 2021)
Vol. 61, no. 1 (Dec. 2020)
Vol. 60, no. 1 (Dec. 2019)
Vol. 59, no. 1 (Dec. 2018)
Vol. 58, no. 1 (Dec. 2017)
Vol. 57, no. 1 (Dec. 2016)
Vol. 56, no. 1 (Dec. 2015)
Vol. 55, no. 1 (Dec. 2014)
Vol. 54, no. 1 (Dec. 2013)
Vol. 53, no. 1 (Dec. 2012)
Vol. 52, no. 1 (Dec. 2011)
Vol. 51, no. 1 (Dec. 2010)
Vol. 50, no. 1 (Dec. 2009)
Vol. 49, no. 1 (Dec. 2008)
Vol. 48, no. 1 (Dec. 2007)
Vol. 47, no. 1 (Dec. 2006)
Vol. 46, no. 1 (Dec. 2005)
Vol. 45, no. 1 (Dec. 2004)
Vol. 44, no. 1 (Dec. 2003)
Vol. 43, no. 1 (Dec. 2002)
Vol. 42, no. 1 (Dec. 2001)
Vol. 41, no. 1 (Dec. 2000)
Vol. 40, no. 1 (Dec. 1999)
Vol. 39, no. 1 (Dec. 1998)
Vol. 38, no. 1 (Dec. 1997)
Vol. 37, no. 1 (Dec. 1996)
Vol. 36, no. 1 (Dec. 1995)
Vol. 35, no. 1 (Dec. 1994)
Vol. 34, no. 1 (Dec. 1993)
Vol. 33, no. 1 (Dec. 1992)
Vol. 32, no. 1 (Dec. 1991)
Vol. 31, no. 1 (Dec. 1990)
Vol. 30, no. 1 (Dec. 1989)
Vol. 29, no. 1 (Dec. 1988)
Vol. 28, no. 1 (Dec. 1987)
Vol. 27, no. 1 (Dec. 1986)
Vol. 26, no. 1 (Dec. 1985)
Vol. 25, no. 1 (Dec. 1984)
Vol. 24, no. 1 (Dec. 1983)
Vol. 23, no. 1 (Dec. 1982)
Vol. 22, no. 1 (Dec. 1981)
Vol. 21, no. 1 (Dec. 1980)
Vol. 20, no. 1 (Dec. 1979)
Vol. 19, no. 1 (Nov. 1978)
Vol. 18, no. 1 (Sep. 1977)
Vol. 17, no. 1 (Sep. 1976)
Vol. 16, no. 1 (Sep. 1975)
Vol. 15, no. 1 (Sep. 1974)
Vol. 14, no. 1 (Sep. 1973)
Vol. 13, no. 1 (Sep. 1972)
Vol. 12, no. 1 (Sep. 1971)
Vol. 11, no. 1 (Sep. 1970)
Vol. 10, no. 1 (Sep. 1969)
Vol. 09, no. 1 (Sep. 1968)
Vol. 08, no. 1 (Sep. 1967)
Vol. 07, no. 1 (Sep. 1966)
Vol. 06, no. 1 (Sep. 1965)
Vol. 05, no. 1 (Jan. 1965)
Vol. 04, no. 1 (Mar. 1964)
Vol. 03, no. 1 (Oct. 1963)
Vol. 02, no. 1 (Mar. 1962)
Vol. 01, no. 1 (Dec. 1960)
このアイテムのアクセス数:
1,815
件
(
2024-06-29
22:36 集計
)
このアイテムへのリンクには次の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
ホームへ戻る