Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 11.

前
1
2
次

検索結果:

書誌情報	ファイル
手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論) 川西, 暁夫; 鈴木, 登志雄 (2005-07) 数理解析研究所講究録, 1442: 8-41
竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論) 新井, 敏康 (2005-07) 数理解析研究所講究録, 1442: 1-7
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
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
Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory) Terui, Kazushige (2005-07) 数理解析研究所講究録, 1442: 83-96
DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory) Kurata, Toshihiko (2005-07) 数理解析研究所講究録, 1442: 48-67
Differential Calculus in Second Order Arithmetic (Proof Theory and Computation Theory) Yokoyama, Keita (2005-07) 数理解析研究所講究録, 1442: 122-148
並列合成の論理演算を持つ論理体系 (証明論と計算論) 竹内, 泉 (2005-07) 数理解析研究所講究録, 1442: 76-82
Logical Characterizations of LOGSPACE (Proof Theory and Computation Theory) Kuroda, Satoru (2005-07) 数理解析研究所講究録, 1442: 68-75