研究者情報 | 神奈川大学

ノト　マサト Noto Masato 能登　正人所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（電気電子情報工学領域）職種教授
言語種別	英語
発行・発表の年月	1997/07
形態種別	学術雑誌
査読	査読あり
標題	A Method for Proving Termination of Functional Programs
執筆形態	共著
掲載誌名	Proc. of ITC-CSCC '97
掲載区分	国外
巻・号・頁	pp.47-50
著者・共著者	M. Noto, M. Kurihara, A. Ohuchi