著者名 清野 和司
論題 直接的分岐アルゴリズムによる決定性プッシュダウン変換器の等価性判定
学位授与年月日 2008.3.24
学位の種別 課程博士
学位の種類 博士(工学)
学位記番号 博甲第468号
論文審査委員 主査 富田 悦次


高橋 治久


尾関 和彦


西野 哲朗


小林 聡

論文要旨と審査結果要旨