首页 > 按月查看>1999年第2月 >
PDF 导出
时态逻辑的比较与分析
DOI:
作者:
作者单位:

作者简介:

通讯作者:

基金项目:


Comparison and Analysis of Temporal Logic
Author:
Affiliation:

Fund Project:

  • 摘要
    • |
  • 图/表
    • |
  • 访问统计
    • |
  • 参考文献
    • |
  • 相似文献
    • |
  • 引证文献
    • |
  • 资源附件
    摘要:

    对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。

    Abstract:

    Through analyzing and comparing the two versions of temporal logic linear temporal logic and branching temporal logic.The properties and their application range are pointed out.

    参考文献
    相似文献
    引证文献
引用本文

张广泉,孙敏.时态逻辑的比较与分析[J].重庆工商大学学报（自然科学版）,1999,(2):
Zhang Guangquan. Comparison and Analysis of Temporal Logic[J]. Journal of Chongqing Technology and Business University(Natural Science Edition）,1999,(2):

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期:

您是本站第 访问者

邮编：400067 传真：

电话：023-62769495 E-mail：

网站版权所有：重庆工商大学学报（自然科学版） ® 2024 网站版权所有

×
2023年《重庆工商大学学报（自然科学版）》影响因子稳步提升