1. Kyoto University Research Information Repository

検索


適用済条件:


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

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

 | 
検索結果表示: 1-1 / 1.
  • 前
  • 1
  • 次
検索結果:
書誌情報ファイル
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 

絞り込み

発行日