佐々 政孝 | 東京工業大学情報理工学研究科数理・計算科学専攻
スポンサーリンク
概要
東京工業大学情報理工学研究科数理・計算科学専攻 | 論文
- A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)
- Resource Bounded Unprovability of Computational Lower Bounds (Part 1) (Algebraic Aspects of Coding Theory and Cryptography)
- 到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて (形式体系と計算理論)
- Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation)
- 中間述語論理 CD について(算術体系の証明論)