您的位置： 专家智库 > >

潘光睿

作品数：2 被引量：0H指数：0
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇计算机
  • 2篇计算机科学

机构

  • 2篇南京大学

作者

  • 2篇宋晓梁
  • 2篇周荣国
  • 2篇许满武
  • 2篇潘光睿

传媒

  • 1篇软件学报
  • 1篇计算机科学

年份

  • 1篇1999
  • 1篇1998
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一阶反合一研究
1999年
文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出的是已解出形．该文在已解出形的基础上讨论一种方法，以给出具体解的完备集（反合一子完备集）．通过引入Ｇθ和Ｚ函数，使求解更为方便、直观．
许满武潘光睿周荣国宋晓梁刘东升
关键词：计算机科学
反合一研究初步
1998年
引言合一是一类重要的计算问题,它广泛地应用于计算机科学的各个分支领域。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来,其中比较典型的包括:方程式合一,高阶合一以及半合一。总的说来,在研究这些合一时主要关心的是“相等”的问题。后来,人们在研究函数式语言的模式匹配时。
潘光睿周荣国宋晓梁刘东升许满武
关键词：计算机科学
全选 清除 导出
共1页<1>
聚类工具0