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