Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 18 (Search time: 0.036 seconds).
Item hits:
On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity)
  Fujita, Ken-etsu (2013-04)
  数理解析研究所講究録, 1832: 73-87
file type icon 
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
file type icon 
アルゴリズム的ランダムネスへの解析学的アプローチ (証明論と複雑性)
  宮部, 賢志 (2013-04)
  数理解析研究所講究録, 1832: 114-126
file type icon 
A Report on Studies of Relative Randomness (Proof theory and complexity)
  Peng, NingNing (2013-04)
  数理解析研究所講究録, 1832: 154-157
file type icon 
計算の複雑さと証明の複雑さ : 基調講演 (証明論と複雑性)
  垂井, 淳 (2013-04)
  数理解析研究所講究録, 1832: 1-1
file type icon 
ラムダ計算と組み合わせ論理の体系C$lambda$$I_lambda$ (証明論と複雑性)
  山川, 郁加, 古森, 雄一 (2013-04)
  数理解析研究所講究録, 1832: 135-138
file type icon 
完全二分AND-OR木上の最適な乱択アルゴリズムについて (証明論と複雑性)
  仁井田, 哲尚, 小川, 孝典 (2013-04)
  数理解析研究所講究録, 1832: 158-176
file type icon 
Values on generalized reachability games (Proof theory and complexity)
  Ghani, Ahmad Termimi Ab, Higuchi, Kojiro, Tanaka, Kazuyuki (2013-04)
  数理解析研究所講究録, 1832: 143-153
file type icon 
実数の集合論とランダムネス : 概説 (証明論と複雑性)
  木原, 貴行 (2013-04)
  数理解析研究所講究録, 1832: 97-113
file type icon 
Bounded arithmetic in free logic (Proof theory and complexity)
  Yamagata, Yoriyuki (2013-04)
  数理解析研究所講究録, 1832: 59-72
file type icon