搜索到 篇“ SEMIRING “的相关文章

相关作者

薛锦云
作品数：136被引量：555H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
胡启敏
作品数：14被引量：141H指数：6
供职机构：江西师范大学
研究主题：PAR方法 J2EE 形式化方法 形式化描述 形式化推导
史福娟
作品数：3被引量：1H指数：1
供职机构：山东师范大学
研究主题：乘法 半环 分配格 同余 STRUCTURE