研究者情報 | 神奈川大学

ノト　マサト Noto Masato 能登　正人所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（電気電子情報工学領域）職種教授
言語種別	英語
発行・発表の年月	1994/11
形態種別	学術雑誌
査読	査読あり
標題	Expert System for Proving Termination of Rewrite Rule Programs by Path Orderings with Extended Status
執筆形態	共著
掲載誌名	Proc. of The 1994 IEEE Symposium on Emerging Technologies & Factory Automation
掲載区分	国外
巻・号・頁	pp.142-147
著者・共著者	M. Noto, M. Kurihara, A. Ohuchi