ミヨシ ヒロユキ   MIYOSHI HIROYUKI
  三好 博之
   所属   京都産業大学  理学部 数理科学科
   職種   教授
発行・発表の年月 1997
形態種別 その他
標題 2-Cafegorical model of Conditional Rewriting Logic
執筆形態 その他
掲載誌名 Computer Software
巻・号・頁 14/1,15-23