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以外
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 17.
前
1
2
次
検索結果:
書誌情報
ファイル
体系$Clambda_I_lambda$に関する予想の証明 (証明論と複雑性)
松田, 直祐 (2013-04)
数理解析研究所講究録, 1832: 139-142
再帰的解析学における計算量 (証明論と複雑性)
河村, 彰星 (2013-04)
数理解析研究所講究録, 1832: 33-38
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
実数の集合論とランダムネス : 概説 (証明論と複雑性)
木原, 貴行 (2013-04)
数理解析研究所講究録, 1832: 97-113
絞り込み
著者
1
Eguchi, Naohi
1
Fujita, Ken-etsu
1
Ghani, Ahmad Termimi Ab
1
Higuchi, Kojiro
1
Kuroda, Satoru
1
Peng, NingNing
1
Tanaka, Kazuyuki
1
Weiermann, Andreas
1
Yamagata, Yoriyuki
1
Yokoyama, Keita
.
次 >
キーワード
1
2階算術
1
ピカールの小定理
1
リーマンの写像定理
1
逆数学