Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 12.

前
1
2
次

検索結果:

書誌情報	ファイル
An operational characterization of the notion of probability by algorithmic randomness and its applications (Proof Theory, Computation Theory and Related Topics) 只木, 孝太郎 (2015-06) 数理解析研究所講究録, 1950: 52-72
INTUITIONISTIC TREE SEQUENT CALCULUS AND INTUITIONISTIC LAMBDA-RHO-CALCULUS (Proof Theory, Computation Theory and Related Topics) 松田, 直祐 (2015-06) 数理解析研究所講究録, 1950: 108-120
On Sheaves Categorically Equivalent to Distributive Concrete Domains (Proof Theory, Computation Theory and Related Topics) 倉田, 俊彦 (2015-06) 数理解析研究所講究録, 1950: 12-27
AND-OR 木の均衡点 : 確率制約がある場合 (証明論・計算論とその周辺) 鈴木, 登志雄; 仁井田, 哲尚 (2015-06) 数理解析研究所講究録, 1950: 34-39
決定木複雑性における複数アドバーサリーの方法 : 有向アサイクリックグラフの場合 (証明論・計算論とその周辺) 金山, 寛奈 (2015-06) 数理解析研究所講究録, 1950: 1-11
中間述語論理におけるExistence Propertyに関する注意 (証明論・計算論とその周辺) 鈴木, 信行 (2015-06) 数理解析研究所講究録, 1950: 40-51
Phase transitions in unprovability (Proof Theory, Computation Theory and Related Topics) Pelupessy, Florian (2015-06) 数理解析研究所講究録, 1950: 98-107
Infinite games recognized by 2-stack visibly pushdown automata (Proof Theory, Computation Theory and Related Topics) 李, 文娟; 沖坂, 祥平; 田中, 一之 (2015-06) 数理解析研究所講究録, 1950: 121-137
Bounded arithmetic theory for the counting functions and Toda's theorem (Proof Theory, Computation Theory and Related Topics) 黒田, 覚 (2015-06) 数理解析研究所講究録, 1950: 28-33
On Styles of $lambda$2-Terms : Extended Abstract (Proof Theory, Computation Theory and Related Topics) 藤田, 憲悦 (2015-06) 数理解析研究所講究録, 1950: 73-92