書誌情報 | ファイル |
表紙・目次 (2005-07) 数理解析研究所講究録, 1442
| |
竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論) 新井, 敏康 (2005-07) 数理解析研究所講究録, 1442: 1-7
| |
手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論) 川西, 暁夫; 鈴木, 登志雄 (2005-07) 数理解析研究所講究録, 1442: 8-41
| |
Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory) Kumabe, Masahiro; Suzuki, Toshio; Yamazaki, Takeshi (2005-07) 数理解析研究所講究録, 1442: 42-47
| |
DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory) Kurata, Toshihiko (2005-07) 数理解析研究所講究録, 1442: 48-67
| |
Logical Characterizations of LOGSPACE (Proof Theory and Computation Theory) Kuroda, Satoru (2005-07) 数理解析研究所講究録, 1442: 68-75
| |
並列合成の論理演算を持つ論理体系 (証明論と計算論) 竹内, 泉 (2005-07) 数理解析研究所講究録, 1442: 76-82
| |
Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory) Terui, Kazushige (2005-07) 数理解析研究所講究録, 1442: 83-96
| |
A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory) Fujita, Ken-etsu; Hasegawa, Masahito (2005-07) 数理解析研究所講究録, 1442: 97-114
| |
Infinite games and set existence axioms (Proof Theory and Computation Theory) MedSalem, MedYahya Ould; Tanaka, Kazuyuki (2005-07) 数理解析研究所講究録, 1442: 115-121
| |
Differential Calculus in Second Order Arithmetic (Proof Theory and Computation Theory) Yokoyama, Keita (2005-07) 数理解析研究所講究録, 1442: 122-148
| |