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