鳩の巣原理に対する木状導出原理の証明サイズについて

• 資料種別: 文書・図像類
• タイトル: 鳩の巣原理に対する木状導出原理の証明サイズについて
• 著者・編者: 宮崎, 修一; 岩間, 一雄
• 著者標目: 宮崎, 修一; 岩間, 一雄
• 出版事項: Institute of Electronics, Information and Communications Engineers (IEICE)
• 出版年月日等: 1999-09-03
• 出版年（W3CDTF）: 1999-09-03
• 並列タイトル等: On the size of the tree-like resolution for the pigeonhole principle
• タイトル（掲載誌）: 電子情報通信学会技術研究報告
• 巻号年月日等（掲載誌）: 99 288
• 掲載巻: 99
• 掲載号: 288
• 掲載ページ: 15-22
• ISSN（掲載誌）: ISSN : 0913-5685
• 本文の言語コード: eng
• 著者別名: ミヤザキ, シュウイチ; イワマ, カズオ
• 件名標目: 導出原理; 木状導出原理; 鳩の巣原理; resolution; tree-like resolution; the pigeonhole principlethe
• 対象利用者: 一般
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: IEICE_tec.rep_COMP99-33.pdf （fulltext）; http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/227137/1/IEICE_tec.rep_COMP99-33.pdf
• オンライン閲覧公開範囲: インターネット公開
• 著作権情報: © 1999 by the Institute of Electronics, Information and Communications Engineers (IEICE)
• 掲載誌（NCID）: AN00349328; https://ci.nii.ac.jp/ncid/AN00349328
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 京都大学 : 京都大学学術情報リポジトリ

• 要約等: We improve upper and lower bounds of the size of tree-1ike resolution refutation for the pigeonhole principle. These results imply the super-polynomia...