搜索到 篇“ 形式规约语言 “的相关文章

相关作者

陈海明
作品数：22被引量：31H指数：4
供职机构：中国科学院软件研究所
研究主题：递归函数 上下文无关语言 形式规约语言 正则表达式 句子生成
董韫美
作品数：18被引量：49H指数：4
供职机构：中国科学院软件研究所
研究主题：上下文无关语言 递归函数 形式规约语言 计算机图形学 上下文无关文法
黄文集
作品数：5被引量：5H指数：1
供职机构：中国科学院软件研究所
研究主题：递归函数 上下文无关语言 函数式语言 多态 编译器
唐静
作品数：4被引量：13H指数：1
供职机构：中国科学院研究生院信息安全国家重点实验室
研究主题：安全协议 形式规约 RFID安全协议 归约 RFID
姬东耀
作品数：32被引量：147H指数：8
供职机构：中国科学院
研究主题：计算机网络 可验证秘密分享 通信协议 电子支付协议 可证安全