Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
循環証明体系におけるカット除去の反例について (証明と計算の理論と応用) 益岡, 幸弘 (2022-08) 数理解析研究所講究録, 2228: 47-58
Weakly balanced multi-branching AND-OR trees: Reconstruction of the omitted part of Saks-Wigderson (1986) (Theory and Applications of Proof and Computation) Kurita, Ryoya; Shimizu, Taira; Suzuki, Toshio (2022-08) 数理解析研究所講究録, 2228: 148-167
A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic (Theory and Applications of Proof and Computation) Kurata, Toshihiko; Fujita, Ken-etsu (2022-08) 数理解析研究所講究録, 2228: 206-214
命題変数の量化を持つ時相論理の表現能力について (証明と計算の理論と応用) 佐藤, 悠 (2022-08) 数理解析研究所講究録, 2228: 12-29
超直観主義述語論理におけるprenex normal form theoremに関する覚書 (証明と計算の理論と応用) 鈴木, 信行 (2022-08) 数理解析研究所講究録, 2228: 88-98
汎用的学習理論 (証明と計算の理論と応用) 宮部, 賢志 (2022-08) 数理解析研究所講究録, 2228: 215-225
An effective study of continued fractions and applications (Theory and Applications of Proof and Computation) 八杉, 滿利子; 辻井, 芳樹; 森, 隆一 (2022-08) 数理解析研究所講究録, 2228: 168-185
On the pigeonhole and the modular counting principles over the bounded arithmetic $V^{0}$ (Theory and Applications of Proof and Computation) Ken, Eitetsu (2022-08) 数理解析研究所講究録, 2228: 186-205
Tableau Calculus of Hybrid Product Logic (Theory and Applications of Proof and Computation) 西村, 祐輝 (2022-08) 数理解析研究所講究録, 2228: 1-11
Gentzenから始まる証明論の50年 : 順序数解析を中心として (証明と計算の理論と応用) 新井, 敏康 (2022-08) 数理解析研究所講究録, 2228: 99-125