第条免费访问 在上共享 利用分支时间-时间逻辑设计和合成同步骨架 作者: 埃德蒙·克拉克 查看个人资料 , E.艾伦·艾默生 查看个人资料 作者信息和声明 课程逻辑,研讨会1981年5月第52-71页出版:1981年5月1日出版历史 课程逻辑,研讨会基于分支时间时序逻辑的同步骨架设计与综合第52-71页 上一个第章下一步第章 摘要没有可用的摘要。 引用人查看全部 建议 构造线性时间逻辑:证明系统与克里普克语义学 本文研究了一种带有“下一个”时态算子的构造线性时间时序逻辑(LTL)。这个逻辑最初是由戴维斯提出的,他证明了逻辑的证明系统对应于绑定时间的类型系统。。。阅读更多信息用分支时间时序逻辑设计和合成同步骨架25年的模型检查 我们提出了一种构建并发程序的方法,其中程序的同步骨架是根据高级(分支时间)时序逻辑规范自动合成的。同步框架是一个。。。阅读更多信息一种准一致线性时间逻辑 不一致容忍推理和次一致逻辑不仅在知识表示、人工智能和计算机科学的其他领域,而且在哲学逻辑中都越来越重要。本文提出了一种新的逻辑,准一致线性时间。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此出版物 问询处贡献者发布于 课程逻辑,研讨会1981年5月405页国际标准图书编号:354011212倍编辑:德克斯特·科赞 赞助商合作中出版商Springer-Verlag公司柏林,海德堡 出版历史 出版:1981年5月1日 限定符第条会议 资金来源 其他指标查看文章指标文献计量学引文620文章指标620引文总数查看引文0总下载次数下载次数(过去12个月)0下载次数(最近6周)0其他指标查看作者指标引用人查看全部数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.5555/648063.747438复制链接在社交媒体上分享 在上共享 0工具书类