著者名 樋口,健

Ken Higuchi
論題 DROCAについて

On Deterministic Restricted One-Counter Automata
学位授与年月日 1997.03.24
学位の種別 課程博士
学位の種類 博士(工学)
学位記番号 博甲第107号
論文審査委員 主査 富田悦次 教授


萩野剛二郎 教授


渡辺成良 教授


岩田茂樹 教授


高橋治久 助教授


西野哲朗 助教授