• 斯特尔特

  • 10篇参考文献[SW0972]
  • 允许时间的简单定义逻辑程序,包括用于动作的特殊语法…标准ASP求解器线性的世俗的逻辑模型检查器以便找到…
  • 海斯德尔

  • 37篇参考文献[ SW05200 ]
  • 互连线性的动态系统,自动机,如果是,则是命题逻辑规则曾经…
  • TLPVS

  • 10篇参考文献[SW10024]
  • 目前我们的一个PVS实现线性的世俗的逻辑验证系统。该系统包括…
  • 马文

  • 10篇参考文献[SW07699]
  • 使用状态构造的状态机线性的世俗的逻辑(LTL)描述的假设,描述…
  • TTM

  • 8篇参考文献[SW11997 ]
  • 命题的定理证明器线性的世俗的逻辑称为PLTL。TTM允许您测试…
  • 流星

  • 16篇参考文献[SW26327 ]
  • 利用第一个实现线性度似乎排除了使用包容…减少冗余搜索。然而,研究逻辑编程已导致复杂的架构给予高…PROlog,它是基于线性的输入分辨率程序。特别是WAM体系结构…哪个是线性的一阶输入证明程序逻辑类似的…
  • 郁金香

  • 8篇参考文献[SW2017]
  • 滚动时域软件工具箱逻辑规划本文描述了郁金香,一个基于Python的…对一个表达子集的尊重线性的世俗的逻辑(LTL)规范。郁金香组合例程…
  • 勒图尔

  • 39篇参考文献[SW11689]
  • LTUR:简化的线性的喇叭公式的时间单位分解算法及计算机实现测试问题的根本问题逻辑编程有很多原因。在这些之中…加利尔和S·拉兹,J.逻辑程序4,119-155(1987;ZBL 641.68145)]。现在…提出了一种简化的导出方法。线性的时间算法避免了许多复杂的问题…
  • 里拉

  • 7篇参考文献[SW21270]
  • LIRA:处理约束线性的整数和算术上的算术。机械化…一阶片段的判定方法逻辑. 交互式定理证明,如PVS也使…一阶自动机理论方法逻辑学线性的算术,即…
  • 链接

  • 2篇参考文献[ SW023 58]
  • 基于证据网络的乘法证明线性的 逻辑学混合的线性的 逻辑或最近被称为…可交换的逻辑(MNL),可交换的线性的 逻辑(MLL)和非交换(或循环)线性的 逻辑(MCyLL……
  • 目标

  • 7篇参考文献[SW21229 ]
  • Bu chi自动机和时间的定义和操作逻辑公式。它还部分支持其他变种…它们与线性的世俗的逻辑学. 它也可以用来构造正确的…
  • 氯化铯

  • 47篇参考文献[SW09462]
  • 合并辅助决策程序符合逻辑的理论转化为理论的决策过程…数组理论,归纳数据类型,和线性的实际算法目前正在实施中。其他显著特征…
  • LBTT

  • 7篇参考文献[SW29 42]
  • 翻译命题表达的公式线性的世俗的逻辑(LTL)到Bu chi自动机。目标…
  • 施舍

  • 4篇参考文献[SW21720]
  • 提供吉拉德的表达力线性的 逻辑同时保持类型系统轻…
  • 德代尔

  • 10篇参考文献[SW17368]
  • 目标DDEALE依赖于符合逻辑的基于模型线性的约束,概括了约束…需要实际应用。这个符合逻辑的空间数据的表示虽然代价更高…
  • 遥控玩具

  • 55篇参考文献[SW09812]
  • 其基础是基于构造函数的重写。逻辑具有惰性的非确定性函数…平等和不平等限制条款和线性的对实际数字的约束;目标求解…
  • 临时雇员

  • 12篇参考文献[SW0989]
  • 经典一阶逻辑离散算子的时间算子线性的时间模型(同构)使用的时间模型)。公式逻辑解释与…关联的结构。
  • 林克斯

  • 1篇参考文献[SW20270]
  • Lincx:A线性的 符合逻辑的具有一流上下文的框架。线性的 逻辑提供了一个优雅的框架…混合情境下的管理与推理线性的直观的…假设。我们提出Lincx,一个语境线性的 符合逻辑的具有一流混合上下文的框架。Lincx…关于这样的结构。Lincx扩展了线性的 符合逻辑的具有一流的框架LLF(线性的语境…
  • 棒棒糖

  • 2篇参考文献[SW01476]
  • 棒棒糖线性的 逻辑一种精益连接方法定理证明器的一阶实现
  • 法帕斯

  • 4篇参考文献[ SW10957 ]
  • 分段仿射(PWA)系统的分析线性的世俗的逻辑(LTL)规范。具体来说,给出…