搜索到 篇“ 项重写系统 “的相关文章

相关作者

冯速
作品数：16被引量：82H指数：5
供职机构：北京师范大学信息科学与技术学院
研究主题：项重写系统 中国象棋 博弈树搜索算法 等价性 元计算
朱文也
作品数：4被引量：2H指数：1
供职机构：解放军信息工程大学信息工程学院
研究主题：安全协议 树自动机 形式化分析 认证性 项重写系统
罗赛
作品数：5被引量：26H指数：3
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：可重构计算 编程模型 项重写系统 系统体系结构 体系结构
熊锋
作品数：2被引量：1H指数：1
供职机构：北京师范大学
研究主题：项重写系统
陈意云
作品数：133被引量：646H指数：16
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象