Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
Equivalent characterizations of partial randomness for a recursively enumerable real (Proof theoretical study of the structure of logic and computation) Tadaki, Kohtaro (2009-04) 数理解析研究所講究録, 1635: 103-120
Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation) Sakagawa, Wataru; Kashima, Ryo (2009-04) 数理解析研究所講究録, 1635: 86-102
Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation) Nemoto, Takako (2009-04) 数理解析研究所講究録, 1635: 121-133
Towards affluent proof theory of LOGCFL and related topics (Proof theoretical study of the structure of logic and computation) Kuroda, Satoru (2009-04) 数理解析研究所講究録, 1635: 77-85
ランダムなビット列における連 (証明論と論理・計算の構造) 川村, 保敬; 鈴木, 登志雄 (2009-04) 数理解析研究所講究録, 1635: 23-32
組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造) 岩見, 宗弘 (2009-04) 数理解析研究所講究録, 1635: 16-22
An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation) Akiyoshi, Ryota (2009-04) 数理解析研究所講究録, 1635: 1-12
逆再帰理論と逆数学に関して (証明論と論理・計算の構造) 木原, 貴行 (2009-04) 数理解析研究所講究録, 1635: 51-59
完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造) 倉田, 俊彦 (2009-04) 数理解析研究所講究録, 1635: 60-76
On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation) Kikuchi, Kentaro (2009-04) 数理解析研究所講究録, 1635: 33-50