• LTL2BA

  • 参考文献95篇[sw10956]
  • 生成Büchi自动机的算法线性的时间逻辑(LTL)公式。此算法生成。。。
  • 数学卫星

  • 在56篇文章中引用[sw09449]
  • 相等和未解释函数、差逻辑,线性的算术和位向量理论。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 同一作者的前一本书名为“计算逻辑“(1979年;Zbl 0448.68020)。真正重要的改变。。。自1979年以来线性的算术决策程序和加法。。。定理证明者。逻辑它本身就是函数的有效使用。。。
  • 丁香花

  • 参考第13条[sw08983]
  • 基于线性的 逻辑. 我们接受艾布拉姆斯基的直觉派。。。线性的 逻辑(在线性的微积分)作为函数式编程语言的基础。这个。。。
  • 德洛雷斯

  • 引用25篇文章[sw05546]
  • 大多数其他非单调的逻辑学,可撤销逻辑线性的复杂性,让德洛尔执行大。。。
  • 公主

  • 引用23条[sw06872]
  • 一阶定理证明逻辑线性的整数运算。公主是个定理证明者。。。
  • 催眠

  • 在14篇文章中引用[sw02743]
  • HYPROLOG:一个新的逻辑带有假设和诱因的程序设计语言。我们现在呈现的是一部小说。。。假设是一种由线性的 逻辑从假设语法开始。。。
  • 斑点

  • 参考22篇文章[sw09473]
  • LTL的简单(高效)翻译(线性的世俗的逻辑)进入TGBA。然后我们展示。。。
  • 伦塔尔

  • 引用9篇文章[sw07312]
  • 简单的符合逻辑的直觉解释线性的 逻辑以及一种扁平化技术。这使。。。把LMNtal称为层次结构,并发的线性的 逻辑语言。。。
  • 佩索阿

  • 引用18条[sw20123]
  • 规范的片段线性的世俗的逻辑足以表达有趣的。。。
  • 图形

  • 引用了29篇文章[sw20098]
  • 相当于分层线性的数据日志,一阶逻辑具有传递闭包,非确定性对数。。。
  • APNN工具箱

  • 参考11篇文章[sw06976号]
  • 计算树逻辑(CTL)和线性的世俗的逻辑(LTL)考虑更一般的性质。。。
  • 棒棒鼻

  • 引用5篇文章[sw22624]
  • Lolliproc:从经典到并发线性的 逻辑通过库里霍华德和控制。虽然很多类型。。。基于线性的 逻辑已经在编程语言中提出了应用。。。全功率线性的 逻辑--包括双重否定消除——仍然是难以捉摸的。同时,线性... 本文我们将古典线性的 逻辑以及用Lolliproc语言进行的并发函数编程。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • (扩展)约束法线的答案集解算器逻辑程序。它结合了高级建模。。。非约束条件-线性的有限整数可用于逻辑程序。主要。。。
  • 林塔普

  • 参考6篇文章[sw11991]
  • Girards的乘法和指数碎片线性的 逻辑. 它证明了经典的有效性。。。构建一个分析表格并确保线性的使用前缀统一的有效性。。。乘法,指数碎片M?全部线性的 逻辑. 基于前缀语义表演算。。。
  • 罗佛根

  • 引用13篇文章[sw10954]
  • 模型,动力学性质用线性的世俗的逻辑并且指定了不确定参数。。。
  • 校准仪

  • 引用4篇文章[sw11993]
  • 线性的 逻辑校准仪(llprover)。这个小程序搜索给定。。。边一阶序列线性的 逻辑. 当然,证据搜索线性的 逻辑...
  • 数据日志精简版

  • 在10篇文章中引用[sw28894]
  • 线性的-时间评估,Datalog-LITE表现力很强:它包含了流行的模态和时态逻辑学... 防护固定点的自由部分逻辑. 因此,线性的-时间模型检查算法。。。提到逻辑学以统一的方式获得。结果得到了不可表达性证明的补充。。。影响线性的-extit{分层}数据日志的时间片段的表达能力太有限。。。
  • TRP公司++

  • 引用15篇文章[sw14679]
  • 命题的定理证明器线性的时间-时间逻辑基于时间分辨率的微积分。。。