ノト マサト   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