搜索到 篇“ 不动点语义 “的相关文章

相关作者

王驹
作品数：77被引量：250H指数：12
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
蒋运承
作品数：111被引量：655H指数：15
供职机构：华南师范大学
研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
汤庸
作品数：385被引量：1,241H指数：17
供职机构：华南师范大学计算机学院
研究主题：社交网络 时态 时态数据库 描述逻辑 存储介质
周生明
作品数：21被引量：95H指数：6
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 不动点语义 MSC 语义 毕业论文改革
古天龙
作品数：481被引量：1,391H指数：16
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点