CACTUS公司 swMATH ID: 2907 软件作者: 马诺利斯Gergatsoulis 描述: 分支时间逻辑编程语言CACTUS的扩展。Cactus是一种基于时间分支概念的时态逻辑编程语言。Cactus支持两个主要操作符:第一个是时间操作符,表示时间中的第一个时刻;第二个是时间运算符,表示当前时刻的第i个子级。实际上,通过next i,我们表示一个族{next iŞi∈ℕ} 对于下一个操作符,每个操作符都表示当前时刻之后的不同下一时刻。本文用新的时态算子对Cactus进行了推广。更具体地说,我们研究了next运算符的两个变体的使用,即分别表示“一些下一时刻”和“所有下一时刻“的运算符O F和O G。我们还研究了众所周知的时态算子分支变体的使用□ (始终)和♦ (有时)。 主页: http://www.springerlink.com/content/m66204q328p11182/fulltext.pdf 关键词: 仙人掌 相关软件: 数据日志;DeCART公司;FCVODE公司;PVS公司;METATEM公司;露西德;冥王星;闪存;仙人掌;气体保护装置;GRChombo公司;ENZO公司;地图;地毯;爱因斯坦工具包;琼博;闪存;CWENO公司;涅槃;帕拉梅什 引用于: 15文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 分支时间逻辑编程语言CACTUS的扩展。 Zbl 1001.68021号马诺利斯Gergatsoulis 2000 全部的 前5名22位作者引用 7 马诺利斯Gergatsoulis 5 帕诺斯·朗多吉安尼 三 杨晓晓 2 段振华 2 克里斯托斯·诺米科斯 2 帕纳伊奥托普洛斯,西米斯 1 冯新余 1 傅明 1 朋湖Hatori 1 亚当·霍夫曼。 1 Atsushi M.伊藤。 1 Lee、John Chung-Mong 1 刘楚昌 1 马,钱 1 Hideaki Miura 1 Abhaya C.纳亚克。 1 马萨诺里·努纳米 1 穆罕默德·阿里·奥根 1 波提喀斯(Potikas)、彼得罗斯(Petros) 1 秀姬Usui 1 威廉·沃奇(William W.Wadge)。 1 张瑜 全部的 前5名11篇连载文章中引用 2 计算物理杂志 2 理论计算机科学 1 计算机语言 1 新一代计算 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 函数编程杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 1 计算机科学前沿 在5个字段中引用 13 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 数值分析(65-XX) 1 流体力学(76-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文