您的位置： 专家智库 > >

李开德

作品数：4 被引量：11H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 9个自动化与计算...
  • 3个理学

主题

  • 9个形式规约
  • 9个规约
  • 6个上下文
  • 5个形式规约语言
  • 5个上下文无关文...
  • 5个上下文无关语...
  • 4个递归
  • 4个递归函数
  • 4个函数
  • 4个函数式语言
  • 3个求值
  • 3个句子生成
  • 2个形式语言
  • 2个语言
  • 2个语言分析
  • 2个数据结构
  • 2个图形学
  • 2个匹配方法
  • 2个人机
  • 2个人机交互

机构

  • 9个中国科学院软...

资助

  • 7个国家自然科学...
  • 5个“九五”国家...
  • 2个国家高技术研...
  • 1个国家科技重大...

传媒

  • 6个软件学报
  • 4个计算机研究与...
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个863计划智...
  • 1个中国科学（E...
  • 1个计算机工程与...
  • 1个计算机科学
  • 1个中国科学：数...
  • 1个集成技术
  • 1个2006年全...
  • 1个IEEE北京...
  • 1个中国电子学会...
  • 1个第四次全国计...

地区

  • 9个北京市
共 9 条 记 录，以下是 1-9
董韫美
供职机构：中国科学院软件研究所
研究主题：上下文无关语言 递归函数 形式规约语言 计算机图形学 上下文无关文法
发表作品相关人物供职机构所获资助研究领域
黄文集
供职机构：中国科学院软件研究所
研究主题：递归函数 上下文无关语言 函数式语言 多态 编译器
发表作品相关人物供职机构所获资助研究领域
张强
供职机构：中国科学院软件研究所
研究主题：函数式语言 形式规约 形式规约语言 匹配方法
发表作品相关人物供职机构所获资助研究领域
张瑞岭
供职机构：中国科学院软件研究所
研究主题：上下文无关文法 文法推断 形式语言 语法分析 形式规约
发表作品相关人物供职机构所获资助研究领域
王泓皓
供职机构：中国科学院软件研究所
研究主题：句子生成 上下文无关语言 形式规约 人机交互 上下文无关文法
发表作品相关人物供职机构所获资助研究领域
万战勇
供职机构：中国科学院软件研究所
研究主题：MIDI 规约 形式规约 乐谱 库管理
发表作品相关人物供职机构所获资助研究领域
陈海明
供职机构：中国科学院软件研究所
研究主题：递归函数 上下文无关语言 形式规约语言 正则表达式 句子生成
发表作品相关人物供职机构所获资助研究领域
张荣华
供职机构：中国科学院软件研究所
研究主题：形式规约 形式规约语言 虚拟机 函数式语言 中间代码
发表作品相关人物供职机构所获资助研究领域
陈自明
供职机构：中国科学院软件研究所
研究主题：程序语言 形式规约 转换器 递归函数 上下文无关文法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0