Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1832 証明論と複雑性 = Proof theory and complexity
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 18.
前
1
2
次
検索結果:
書誌情報
ファイル
体系$Clambda_I_lambda$に関する予想の証明 (証明論と複雑性)
松田, 直祐 (2013-04)
数理解析研究所講究録, 1832: 139-142
再帰的解析学における計算量 (証明論と複雑性)
河村, 彰星 (2013-04)
数理解析研究所講究録, 1832: 33-38
表紙・目次
(2013-04)
数理解析研究所講究録, 1832
A propositional proof system based on comparator circuits : 基調講演 (証明論と複雑性)
Kuroda, Satoru (2013-04)
数理解析研究所講究録, 1832: 2-7
完全二分AND-OR木上の最適な乱択アルゴリズムについて (証明論と複雑性)
仁井田, 哲尚; 小川, 孝典 (2013-04)
数理解析研究所講究録, 1832: 158-176
A Simplified Characterisation of Provably Computable Functions of the System ID$_1$ of Inductive Definitions : Extended Abstract (Proof theory and complexity)
Eguchi, Naohi; Weiermann, Andreas (2013-04)
数理解析研究所講究録, 1832: 39-58
アルゴリズム的ランダムネスへの解析学的アプローチ (証明論と複雑性)
宮部, 賢志 (2013-04)
数理解析研究所講究録, 1832: 114-126
計算の複雑さと証明の複雑さ : 基調講演 (証明論と複雑性)
垂井, 淳 (2013-04)
数理解析研究所講究録, 1832: 1-1
A Report on Studies of Relative Randomness (Proof theory and complexity)
Peng, NingNing (2013-04)
数理解析研究所講究録, 1832: 154-157
Values on generalized reachability games (Proof theory and complexity)
Ghani, Ahmad Termimi Ab; Higuchi, Kojiro; Tanaka, Kazuyuki (2013-04)
数理解析研究所講究録, 1832: 143-153
絞り込み
著者
1
仁井田, 哲尚
1
倉田, 俊彦
1
古森, 雄一
1
垂井, 淳
1
堀畑, 佳宏
1
宮部, 賢志
1
小川, 孝典
1
山川, 郁加
1
木原, 貴行
1
松田, 直祐
.
< 前
次 >
キーワード
1
2階算術
1
ピカールの小定理
1
リーマンの写像定理
1
逆数学
発行日
18
2013
資料種別
17
Departmental Bulletin Paper
1
Others