清野 和司 | 電気通信大学大学院電気通信学研究科情報通信工学専攻
スポンサーリンク
概要
関連著者
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報通信工学科
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション・中央大学研究開発機構
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻
-
富田 悦次
電気通信大学
-
富田 悦次
Department Of Commucations And Systems Engineering The University Of Electro-communications
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻:東芝ソリューション株式会社プラットフォームソリューション事業部府中エンジニアリングセンター
-
富田 悦次
電気通信大学|中央大学研究開発機構
-
若月 光夫
電気通信大学大学院情報理工学研究科
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報理工学研究科
-
若月 光夫
電気通信大学 先進アルゴリズム研究ステーション
-
若月 光夫
電気通信大学
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション|電気通信大学大学院情報理工学研究科
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション:中央大学研究開発機構
著作論文
- 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定(オートマトン・言語理論)
- 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム
- ε-推移を許したある決定性プッシュダウン変換器対の等価性判定(オートマトン・言語理論)
- ε-推移を許したある決定性プッシュダウン変換機器対の等価性判定アルゴリズム(セッション4)