咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 可靠性与完全性
  • 1 篇 递归可枚举性
  • 1 篇 极大协调子集
  • 1 篇 r-终止集
  • 1 篇 r-演算
  • 1 篇 r′-演算

机构

  • 1 篇 南京大学

作者

  • 1 篇 宋方敏
  • 1 篇 吴佳森
  • 1 篇 wu jiasen
  • 1 篇 song fangmin

语言

  • 1 篇 中文
检索条件"主题词=递归可枚举性"
1 条 记 录,以下是1-10 订阅
排序:
R-演算中若干问题的研究
收藏 引用
计算机研究与发展 2012年 第4期49卷 833-838页
作者: 吴佳森 宋方敏 南京大学软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法... 详细信息
来源: 评论