• 水獭

  • 306篇参考文献[SW02904]
  • 有限半群,三元布尔代数,逻辑结石组合逻辑、群论、格理论和代数…
  • 吸血鬼

  • 208篇参考文献[SW0918]
  • 内核。内核实现了结石排序二元分解和叠加处理相等…
  • 佩斯卡

  • 116篇参考文献[SW13664 ]
  • 古典与直觉命题与谓语结石并用非逻辑公理系统来扩展它们…
  • K检查器

  • 40篇参考文献[SW32 257]
  • 可执行的语义框架,其中编程语言,结石以及类型系统或正式…定义真正并发语言的框架结石,即使是在分享的情况下。因为…
  • 奶牛

  • 51篇参考文献[ SW06955 ]
  • 从熟知的过程中借用的成分结石例如异步通信、多进制同步、模式匹配、保护…
  • 极小值

  • 44篇参考文献[SW29 625]
  • 类型化的上下文中的阶段结石函数语言。我们直接证明…
  • 连铸坯

  • 26篇参考文献[SW150 333 ]
  • 结合两个基本的编程范例:名称传递结石并发约束编程(CC编程)。明确地。。。接近公称的限制和结构公理结石而不是存在量化的变量…
  • 红宝石

  • 32篇参考文献[SW16267]
  • 表示为两个正交的成分结石一个用于对象和类…
  • 奥特

  • 28篇参考文献[SW0663]
  • 大量的案例研究,包括模块化规范结石从Tabl文本,轻量级Java…
  • 血小板计数

  • 21篇参考文献[SW0921]
  • 语言模型的制定,以等式为中心结石抽象机,然后介绍PLT ReDX…
  • 引诱

  • 20篇参考文献[SW01418]
  • 依靠坚实的过程理论结石以及XML文档和模式的形式语言。
  • PSI结石

  • 9篇参考文献[ SW28 73]
  • 结石在伊莎贝尔。PSI结石是Pi演算的扩展,适应任意标称数据类型…约束PI演算。我们已经把PSI正式化了结石在交互式定理证明器伊莎贝尔中使用…不同形式的单一粘结剂的成型方法结石在过去的几十年里已经提出…
  • 兆焦耳

  • 12篇参考文献[SW2432]
  • 实践是定义轻量级碎片,或者结石这足够小,以促进正式…然而,目前的许多建议结石缺乏重要的语言特征。在本文中…
  • 塔斯

  • 11篇参考文献[SW04900]
  • 程序开发,如窗口推理所用结石以及转换系统。这个结石特点是…
  • 朱莉

  • 9篇参考文献[SW1296]
  • 并发过程的典型建模结石. Jolie在感恩节期间做的基础性工作…
  • 康迪斯

  • 8篇参考文献[ SW099 86]
  • 它们的组合。康迪利3实现序列结石这些逻辑。康迪利3改进了康迪利…
  • 镀锡型

  • 5篇参考文献[SW01773]
  • 类型化的LAMBDA实体库结石. 第一个存储库涵盖了广泛的打字…TunkType汇编程序生成的工具结石无论是排版集合的形式…
  • ARA

  • 5篇参考文献[SW08504]
  • 基于Gordeev的约简谓词结石对于n变量逻辑(RPC n),它允许…代数与可表示关系代数结石
  • 公理计算器

  • 7篇参考文献[SW20253]
  • 方法。我们给出了超序列的一般条件。结石保证形式化的标准完整性…