程序逻辑的可计算性和完整性(初步报告)
摘要
工具书类
建议
程序逻辑中的非确定性 POPL’78:第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录 我们研究了非确定性程序推理的基本原理,并提出了支持这种推理的逻辑。 我们的逻辑是动态逻辑([22]和[12])的扩展,包含了大多数现有的一阶逻辑。。。
评论
信息和贡献者
问询处
发布时间
赞助商
出版商
出版历史
检查更新
限定符
第条
接受率
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
43 引文总数 查看引文 361 总下载次数
下载量(最近12个月) 36 下载次数(最近6周) 2
其他指标
引文
引用人
哈内尔R (2022) Dijkstra在程序验证方面的遗产 艾兹格·迪科斯彻 10.1145/3544585.3544593 (105-140) 在线发布日期:2022年7月12日 芬克贝纳B 海姆·P 超过N (2022) 时态流逻辑模理论 软件科学和计算结构基础 10.1007/978-3-030-99253-8_17 (325-346) 在线发布日期:2022年3月29日 普拉特五世 (2018) 动态逻辑:个人视角 动态逻辑。 新趋势和应用 10.1007/978-3-319-73579-5_10 (153-170) 在线发布日期:2018年1月3日 电镀机A (2015) 微分博弈逻辑 ACM计算逻辑事务 10.1145/2817824 17 :1 (1-51) 在线发布日期:2015年11月14日 电镀机A (2012) 混合系统的完全证明理论 2012年第27届IEEE/ACM计算机科学逻辑年会论文集 10.1109/LICS.2012.64 (541-550) 在线发布日期:2012年6月25日 电镀机A (2012) 动力系统的逻辑 2012年第27届IEEE/ACM计算机科学逻辑年会论文集 10.1109/许可2012.13 (13-24) 在线发布日期:2012年6月25日 电镀机A (2012) 混合系统的逻辑分析 第十四届形式系统描述复杂性国际会议论文集 10.1007/978-3-642-31623-4_3 (43-49) 在线发布日期:2012年7月23日 恩贾伯特P (2011) 教育系统(I) RAIRO公司。 信息时代 10.1051/ita/1980140302471 14 :3 (247-278) 在线发布日期:2011年1月8日 Kozen D公司 (2010) 任意理论模型中程序方案的暂停与等价 逻辑和计算领域 10.5555/1983702.1983726 (463-469) 在线发布日期:2010年1月1日 利万特D (2009) 论动态逻辑的完备性 第十二届软件科学和计算结构基础国际会议论文集-第5504卷 10.5555/3266641.3266655 (78-91) 在线发布日期:2009年3月22日 显示更多引用者