ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
1996
発表テーマ
Modelling Conditional Rewriting Logic in Structured Categories
会議名
First International Workshop on Rewriting Logic and its Applications
発表形式
その他