無限に長い理論式をもつ論理体系で形式化された理論について
スポンサーリンク
概要
著者
関連論文
- 最近のRecursion Theoryについて (ブール代数値の解析学と超準解析)
- Generic Oracles と Random Oracles について : 特に、相対化BPPの部分クラスたちの分離(数学基礎論およびその応用)
- 確率的多項式時間計算量クラスBPPの内部の時間階層について
- 多項式時間計算可能クラスについて
- 数学基礎論的手法の計算量理論への応用(付 : 数学他分野との関連)
- 確率について或一様性を以って相対化したBPPについて(計算機構とアルゴリズム)
- 計算量理論における記述集合論的問題について(数学基礎論とその応用)
- 制限された命題論理式に関する計算量問題について
- ファジィ計算可能関数について
- Some Hierarchies of Relativized Time-Bounded Complexity Classes
- A naive example of a proper $\Pi^0_4$ set of reals(Foundational Study and Its Applications)
- 相対化された多項式時間計算量クラスの細階層について
- 相対化された時間計算量のクラスについて
- Some Fine Hierarchies on Relativized Time-Bounded Complexity Classes(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- 相対化された計算時間問題の複雑性について
- Selivanowskiの定理について (Proof theoryとRecursion theory研究会報告集)
- 無限に長い理論式をもつ論理体系で形式化された理論について
- Recursive-汎函数列の極限
- 最近のリカージョンセオリーについて
- 書評 C.D.Sogge:Fourier Integrals in Classical Analysis