1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-8 / 8.
  • 前
  • 1
  • 次
検索結果:
書誌情報ファイル
A Study of Abramsky's Linear Chemical Abstract Machine
  Mikami, Seikoh; Akama, Yohji (1999-04)
  数理解析研究所講究録, 1096: 68-83
file type icon 
2階算術と有界選択公理 (2階算術の諸体系の研究)
  田中, 一之; 山崎, 武 (1999-04)
  数理解析研究所講究録, 1096: 84-88
file type icon 
Lagrange-Good Inversion from Trace
  Hasegawa, Ryu (1999-04)
  数理解析研究所講究録, 1096: 51-67
file type icon 
Reverse Mathematics and weak second-order systems of 0-1 strings
  Yamazaki, Takeshi (1999-04)
  数理解析研究所講究録, 1096: 25-34
file type icon 
COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION
  Kuroda, Satoru (1999-04)
  数理解析研究所講究録, 1096: 35-50
file type icon 
$ATR_0$のモデル論的Ordinal Analysis (2階算術の諸体系の研究)
  高橋, 康博 (1999-04)
  数理解析研究所講究録, 1096: 15-24
file type icon 
LKの証明図に関する標準型定理 (2階算術の諸体系の研究)
  池田, 一麿 (1999-04)
  数理解析研究所講究録, 1096: 1-14
file type icon 
表紙・目次
   (1999-04)
  数理解析研究所講究録, 1096
file type icon 

絞り込み