ミヨシ ヒロユキ   MIYOSHI HIROYUKI
  三好 博之
   所属   京都産業大学  理学部 数理科学科
   職種   教授
発行・発表の年月 1998
形態種別 その他
標題 Rewriting Logic for Cyclic Sharing Structures
執筆形態 その他
出版社・発行元 Third International Symposium on Functional and Logic Rrogramming, World Scientific