搜索到 篇“ 程序终止性 “的相关文章

相关作者

冯勇
作品数：77被引量：173H指数：8
供职机构：中国科学院重庆绿色智能技术研究院
研究主题：同态加密 终止性 变元 结式 多项式
李轶
作品数：29被引量：5H指数：1
供职机构：中国科学院重庆绿色智能技术研究院
研究主题：终止性 终止性分析 秩函数 可信计算 消去
李骏
作品数：5被引量：7H指数：1
供职机构：中国科学院成都计算机应用研究所
研究主题：程序终止性 JORDAN标准型 非线性 终止性 变元
李轶
作品数：10被引量：11H指数：3
供职机构：电子科技大学
研究主题：瑞利散射 非线性 程序终止性 信号 温度报警器
吴文渊
作品数：62被引量：87H指数：4
供职机构：中国科学院重庆绿色智能技术研究院
研究主题：同态加密 信息安全领域 密文 隐私保护 公钥加密