ノト マサト   Noto Masato
  能登 正人
   所属   神奈川大学  工学部 電気電子情報工学科
    神奈川大学大学院  工学研究科 工学専攻(電気電子情報工学領域)
    神奈川大学大学院  工学研究科 工学専攻(生命機能工学領域)
   職種   教授
言語種別 英語
発行・発表の年月 1999/07
形態種別 学術雑誌
査読 査読あり
標題 A Method for Termination Verification of Rewrite Rule Programs
執筆形態 共著
掲載誌名 Proc. of The 15th National Conference of ASOR
掲載区分国外
巻・号・頁 pp.971-982
著者・共著者 M. Noto, M. Kurihara