コレクションホームページ

1950 証明論・計算論とその周辺   12
(http://hdl.handle.net/2433/223583)

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