咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 公理系统
  • 1 篇 完备性证明
  • 1 篇 投影时序逻辑
  • 1 篇 形式化方法
  • 1 篇 定理证明

机构

  • 1 篇 西安邮电学院
  • 1 篇 西安电子科技大学

作者

  • 1 篇 舒新峰
  • 1 篇 段振华

语言

  • 1 篇 中文
检索条件"主题词=完备性证明"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
有穷时间投影时序逻辑的完备公理系统
收藏
分享
引用
软件学报 2011年 第3期22卷 366-380页
作者： 舒新峰 段振华 西安电子科技大学计算理论与技术研究所 陕西西安710071 西安电子科技大学ISN国家重点实验室 陕西西安710071 西安邮电学院计算机学院 陕西西安710121
为采用定理证明的方法对并发及交互式系统进行验证,研究了有穷论域下有穷时间一阶投影时序逻辑(projection temporal logic,简称PTL)的一个完备公理系统.在介绍PTL的语法、语义并给出公理系统后,提出了PTL公式的正则形(normal form,简称... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件