• 克莱恩代数

  • 参考7篇文章[sw32203]
  • 克莱恩 代数:这些文件包含克莱恩 代数他们最。。。Isabelle/HOL中的公理类型类。克莱恩 代数是计算的基础结构和应用范围。。。关系与形式幂级数形式克莱恩 代数,并考虑基于格的进一步模型。。。矩阵的形成(证明克莱恩 代数待完成)。一方面。。。
  • KAT-ML公司

  • 在10篇文章中引用[sw08506]
  • 交互式定理证明器克莱恩 代数通过测试。我们描述了KAT-ML,一个实现。。。交互式定理证明器克莱恩 代数有测试(KAT)。该系统旨在反映。。。
  • 关系代数

  • 参考6篇文章[sw32202]
  • 与函数有关的各种概念。关系代数也被自反传递闭包扩展。。。操作,它们与克莱恩 代数二元关系模型和布尔模型。。。
  • 正则_代数

  • 引用3篇文章[sw32237]
  • 代数层次结构与克莱恩 代数正式证据档案的层次结构。。。
  • 拉思阿格达

  • 引用3篇文章[sw13303]
  • 拉思·阿格达:关系-代数的阿格达的理论。基本范畴和寓言理论库。。。同时克莱恩类别(即键入克莱恩 代数)也包括等长类。这些理论。。。
  • 代数真空断路器

  • 1条引用[sw32217]
  • 构造和验证组件基于克莱恩 代数. 的变体克莱恩 代数支持项目建设。。。基于的霍尔逻辑元件克莱恩 代数通过测试,最薄弱前提的验证组件。。。最强大的后置条件基于克莱恩 代数使用域和一个用于逐步细化的组件。。。基于精细化克莱恩 代数通过测试。除了这些组成部分。。。
  • 卡德

  • 1条引用[sw32231]
  • 克莱恩 代数带域。克莱恩 代数与域是克莱恩 代数被赋予手术。。。语义学。我们将代数与域和抗瘤(域补体)手术。。。结构域和反义半群到模态克莱恩 代数和分歧克莱恩 代数. 我们把这些联系起来。。。
  • ATBR公司

  • 1条引用[sw28615]
  • 处理二元关系。这个库提供代数的处理二进制关系的工具。。。在任意克莱恩 代数. 决策程序经过标准有限。。。将被关系取代的库代数库,它是基于导数而不是。。。在报纸上找到的克莱恩 代数...
  • 斯通·克莱恩

  • 1条引用[sw28599]
  • 石头-克莱恩关系代数. 我们开发石头-克莱恩关系代数扩大了石头的关系代数...
  • 共数据型

  • 1条引用[sw28678号]
  • 也证明了克莱恩 代数对于定义的常规操作。此外,一种语言。。。
  • ACL2

  • 引用281篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 棱镜

  • 引用424篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。