Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 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