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