• LTL2BA

  • 94篇参考文献[SW10956]
  • B—chi自动机生成算法线性的时间逻辑(LTL)公式。该算法生成…
  • 马赛特

  • 55篇参考文献[SW0949]
  • 平等与未解释的功能、差异逻辑线性的算法和位向量理论…
  • NQTHM

  • 146篇参考文献[SW075 43]
  • 同一作者的前一书题为“计算”逻辑“(1979;ZBL 448.68020)。真正重要的变化…因为1979是A的集成线性的算术判决程序和加法…定理证明器中的重大变化逻辑本身就是函数的有效使用…
  • 丁香花

  • 13篇参考文献[ SW08983]
  • 基于函数的程序设计语言线性的 逻辑. 我们把Abramsky的术语分配用于直觉主义…线性的 逻辑(the线性的术语演算)作为函数式程序设计语言的基础。
  • 德洛里斯

  • 25篇参考文献[SW055 46]
  • 其他非单调逻辑学可撤销的逻辑线性的复杂性,允许德洛雷斯执行大…
  • 公主

  • 23篇参考文献[ SW068 72]
  • 一阶定理证明逻辑线性的整数运算。公主是一个定理证明者…
  • 羟脯氨酸

  • 14篇参考文献[SW02643]
  • HyLogLog:一个新的逻辑编程语言的假设和绑架。我们提出HyPROG,一本小说…假设是一种由线性的 逻辑并从假设文法中接管…
  • 斑点

  • 22篇参考文献[SW0943]
  • LTL的简单(高效)翻译线性的世俗的逻辑进入TGBA。然后我们展示…
  • LMNTAL

  • 9篇参考文献[SW07312]
  • 简约符合逻辑的基于直觉主义的口译线性的 逻辑和扁平化技术。这使…调用LMNTAR分层、并发线性的 逻辑语言
  • 图形日志

  • 29篇参考文献[SW2098]
  • 等效分层线性的Datalog一级逻辑具有传递闭包和非确定性对数…
  • APNN工具箱

  • 11篇参考文献[SW0696]
  • 计算树逻辑(CTL)和线性的世俗的逻辑(LTL)考虑更一般的性质…
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • Lolliproc:从古典到古典线性的 逻辑通过Curry Howard和控制。虽然很多类型…基于直觉的片段线性的 逻辑已经提出,在编程语言中的应用…全功率线性的 逻辑-包括双重否定消除-仍然难以捉摸。与此同时,线性度本文我们连接经典线性的 逻辑同时在LoLIPROC语言中进行并发功能编程。
  • 佩索阿

  • 15篇参考文献[SW2013]
  • 片段中的规范线性的世俗的逻辑这足以表达有趣的…
  • 林塔普

  • 6篇参考文献[SW11991 ]
  • Grand的乘法和指数片段线性的 逻辑. 证明了经典的有效性。构造分析表确保线性的使用前缀统一的有效性…乘法,指数碎片M?洛尔线性的 逻辑. 基于前缀语义表演算…
  • 克林贡

  • 33篇参考文献[SW09892]
  • (扩展)约束常态的答案集求解器逻辑程序它结合了高层建模…非约束条件线性的有限整数可以用在逻辑程序初级…
  • 罗夫基因

  • 13篇参考文献[SW10954 ]
  • 模型,动态特性表示在线性的世俗的逻辑确定了不确定参数。
  • 勒弗雷默

  • 4篇参考文献[SW11993 ]
  • 线性的 逻辑证明者(LimExver)。这个小程序搜索给定的无切割证明…一阶边序列线性的 逻辑. 当然,证据的检索线性的 逻辑
  • 数据记录器

  • 10篇参考文献[SW28 894]
  • 线性的时间评估,数据日志Lite是高度表达的:它包含流行的模态和时间。逻辑学保护定点的自由部分逻辑. 因此,线性的时间模型检验算法…提到逻辑学以统一的方式获得。结果是由不可表达的证据补充。效果线性的时间序列{分层}数据字典的表达能力太有限…
  • Trp++

  • 15篇参考文献[SW1467 9]
  • 命题定理证明器线性的时间-时间逻辑基于时间分辨率演算…