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

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 理学
    • 1 篇 数学
    • 1 篇 统计学（可授理学、...
  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 tableau approach
  • 1 篇 pμtl
  • 1 篇 axiom system
  • 1 篇 aconjunctive for...

机构

  • 1 篇 college of compu...
  • 1 篇 institute of int...
  • 1 篇 state key labora...
  • 1 篇 university of ch...

作者

  • 1 篇 andrea turrini
  • 1 篇 david n.jansen
  • 1 篇 lijun zhang
  • 1 篇 wanwei liu
  • 1 篇 junnan xu

语言

  • 1 篇 英文
检索条件"主题词=axiom system"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
An axiom system of Probabilistic Mu-Calculus
收藏
分享
引用
Tsinghua Science and Technology 2022年 第2期27卷 372-385页
作者： Wanwei Liu Junnan Xu David N.Jansen Andrea Turrini Lijun Zhang College of Computer Science National University of Defense TechnologyChangsha 410073China State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100039China Institute of Intelligent Software Guangzhou 511458China
Mu-calculus(a.k.a.μTL)is built up from modal/dynamic logic via adding the least fixpoint operatorμ.This type of logic has attracted increasing attention since Kozen’s seminal work.PμTL is a succinct probabilistic ... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件