搜索到 篇“ 下推自动机 “的相关文章

相关作者

韩召伟
作品数：15被引量：28H指数：2
供职机构：陕西师范大学
研究主题：量子逻辑 正交模格 正则语言 代数性质 下推自动机
马殿富
作品数：155被引量：480H指数：11
供职机构：北京航空航天大学
研究主题：WEB服务 基于WEB服务 工作流 BPEL 文档
李永明
作品数：225被引量：470H指数：12
供职机构：陕西师范大学
研究主题：计算树逻辑 量子 量子逻辑 加权 格半群
赵永望
作品数：57被引量：20H指数：2
供职机构：北京航空航天大学
研究主题：扩展性 经纬度 目标代码 下推自动机 地图
丁永生
作品数：498被引量：1,218H指数：17
供职机构：东华大学
研究主题：碳纤维 服装 生物网络 神经网络 无线传感器网络