検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
弱い2階算術におけるリーマンの写像定理 (証明論と複雑性) 堀畑, 佳宏 (2013-04) 数理解析研究所講究録, 1832: 19-32 | |
ラムダ計算と組み合わせ論理の体系C$lambda$$I_lambda$ (証明論と複雑性) 山川, 郁加; 古森, 雄一 (2013-04) 数理解析研究所講究録, 1832: 135-138 | |
Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity) Yokoyama, Keita (2013-04) 数理解析研究所講究録, 1832: 127-134 | |
On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity) Fujita, Ken-etsu (2013-04) 数理解析研究所講究録, 1832: 73-87 | |
Sheaf-Theoretical Representation of Concrete Domains (Proof theory and complexity) 倉田, 俊彦 (2013-04) 数理解析研究所講究録, 1832: 8-18 | |
Bounded arithmetic in free logic (Proof theory and complexity) Yamagata, Yoriyuki (2013-04) 数理解析研究所講究録, 1832: 59-72 | |
Prawitz-Doorman Term Existence Property を超直観主義述語論理で考える (証明論と複雑性) 鈴木, 信行 (2013-04) 数理解析研究所講究録, 1832: 88-96 |