Oda Teishiro | The Laboratory of Mitsubishi Shipbuilding & Engineering Co. Ltd.
スポンサーリンク
概要
論文 | ランダム
- 相対化された多項式時間計算量クラスの細階層について
- 相対化された時間計算量のクラスについて
- Some Fine Hierarchies on Relativized Time-Bounded Complexity Classes(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- 相対化された計算時間問題の複雑性について
- 決定性公理に関する最近までの諸結果について--無限ゲ-ムの理論