相対化された多項式時間計算量クラスの細階層について
スポンサーリンク
概要
著者
-
高橋 信行
横浜商科大学
-
田中 尚夫
法政大学工学部
-
和泉 正明
College of Engineering, Hosei University
-
高橋 信行
Yokohama College of Commerce
-
和泉 正明
College Of Engineering Hosei University
関連論文
- 最近のRecursion Theoryについて (ブール代数値の解析学と超準解析)
- Generic Oracles と Random Oracles について : 特に、相対化BPPの部分クラスたちの分離(数学基礎論およびその応用)
- 確率的多項式時間計算量クラスBPPの内部の時間階層について
- ω-正則集合から成るBarua階層の対称差表現について
- Four Hierarchies of ω-Regular Languages
- An Equivalence between the Kaminski Hierarchy and the Barua Hierarchy
- Kaminski階層とBarua階層との同値性
- On Some Subclasses of the Class of All ω-Star-Free Regular Sets
- ω-star-free minimal setsのLANDWEBERの階層に占める位置について
- Characterization of ω-Type Context-Free Languages by Means of Stack Run
- SM-計算可能性とSM-計算可能関数のクラス
- ω型有限オートマトンについての若干の考察 : BuchiオートマトンとMullerオートマトン(1)
- 有限オートマトンによる実数の定義可能性
- 多項式時間計算可能クラスについて
- 数学基礎論的手法の計算量理論への応用(付 : 数学他分野との関連)
- 確率について或一様性を以って相対化した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研究会報告集)
- 無限に長い理論式をもつ論理体系で形式化された理論について
- SM-計算可能性とSM-計算可能関数のクラス (松本武雄学長喜寿記念号)
- 相対化された指数時間計算量クラスについて
- Recursive-汎函数列の極限
- 最近のリカージョンセオリーについて
- 書評 C.D.Sogge:Fourier Integrals in Classical Analysis