ミヨシ ヒロユキ   MIYOSHI HIROYUKI
  三好 博之
   所属   京都産業大学  理学部 数理科学科
   職種   教授
発行・発表の年月 1996
形態種別 その他
標題 Modelling Conditional Rewriting Logic in Structured Categories
執筆形態 その他
出版社・発行元 Electronic Notes in Theoretical Computer Science, North-Holland