• 证明者

  • 47篇参考文献[SW09707]
  • 一阶完全微积分逻辑. 论证者的显著特征之一…求解器可以集成到我们的框架. IpExver结合了最先进的实现技术…
  • 动量2

  • 10篇参考文献[SW10025]
  • 在Eclipse建模中框架利用图形变换与重写逻辑技法我们说明…
  • 麦拉特

  • 3篇参考文献[SW0582]
  • 提出抽象框架基于模态逻辑谓词抽象技术。框架程序的抽象和规范。这个逻辑有足够的表达能力来描述属性…工具MLAT的应用框架堆分析…
  • 阿拉斯加

  • 2篇参考文献[SW28 897 ]
  • 本文使用阿拉斯加符合逻辑的 框架可以比较不同的存储方式。
  • 自动呼气

  • 2篇参考文献[SW32 246]
  • 命令性HOL及其分离逻辑 框架. 这项工作的主要目标…功能程序与分离工作逻辑
  • XYZ/ADL

  • 2篇参考文献[SW0924]
  • 统一下的静态语义符合逻辑的 框架. 在本文中,框架和语法…
  • 锁相环

  • 2篇参考文献[SW21372]
  • CF中的计算。并行(并行)符合逻辑的 框架是一种用于指定和推理的语言…
  • 努普尔灯

  • 1篇参考文献[SW31982 ]
  • NUPRL轻:一个实现框架对于高阶逻辑学. 本文描述了NUPRL光…这个框架本身假设(和提供)没有类型理论或逻辑光提供元框架在哪里?符合逻辑的 框架如LF、NUPRL、SET理论…定理证明逻辑学的实现框架与编程语言紧密相连…
  • 爪哇语

  • 5篇参考文献[SW01341]
  • JavaLe: A框架基于Java和Prolog的面向Agent的智能Agent的集成…作为合适的工具被提出,尽管逻辑面向语言更适合于管理…基于面向对象技术框架对象集成技术逻辑这样的范例…语言这个核心语言是建立在逻辑模块集成为对象抽象…
  • 冲锋!

  • 9篇参考文献[SW2173]
  • 冲锋!框架用于高阶分离逻辑在Coq。我们提出了一个全面的…
  • EFSMT

  • 1篇参考文献[SW1948]
  • EFSMT:A符合逻辑的 框架对于网络物理系统。网络物理系统的设计…约束(包括非线性算术),作为符合逻辑的 框架分析和综合网络的基础。
  • 雅帕

  • 18篇参考文献[ SW0739 ]
  • 框架应用于π演算,类似于基于等式的相似语言逻辑学知识…
  • Y逻辑

  • 2篇参考文献[SW01411]
  • 逻辑A框架关于不完全完备的变色龙程序的推理逻辑程序
  • 骑自行车的人

  • 19篇参考文献[SW18519]
  • 骑自行车的人是框架建立基于循环演算的循环定理证明器。算法已被整合,专注于分离逻辑用归纳定义的谓词。为了获取信息…
  • 克拉约诺

  • 1篇参考文献[SW29 395 ]
  • 德蒂克蒂马蒂塔的证明符合逻辑的 框架. 翻译是以作品为基础的。
  • 贾瓦凡

  • 30篇参考文献[ SW01934 ]
  • 贾瓦凡JavaFAN是一个Java程序分析框架,可以象征性地执行多线程程序,检测…Java和JVM的语义重写逻辑然后使用Maude的能力…
  • 棱镜

  • 32篇参考文献[SW23 359]
  • 只有概率的扩展逻辑程序,而且还可以学习实例与…迄今为止在一个单一的框架. 我们通过例子展示,连同学习结果…
  • 卡洛

  • 22篇参考文献[SW0316]
  • 卡洛框架重新审视。我们重访(KARO)框架我们之前提出的理由…非标准证明系统逻辑包括所谓的ω-规则,即规则…这些事情,想出了一个逻辑(1)对待机会和能力…否则从原始属性中留下许多属性。框架完整的。。。
  • DLV-EX

  • 14篇参考文献[SW0462]
  • 逻辑面向对象的函数符号编程逻辑语言,与外部源的互操作性…统一。本工作介绍了框架在一般情况下嵌入价值发明。班级…具体文献中的案例逻辑用函数符号编程。与现有形式主义的关系…