• 马戏团

  • 87篇参考文献[SW21828 ]
  • 用于细化的并发语言;它是统一命令式CSP,Z,以及细化…
  • 特雷斯普

  • 62篇参考文献[SW14217]
  • 特里谢统一SPH的分层树方法。一个新的通用代码…没有引入网格。统一用层次树方法进行SPH分析。
  • TPS

  • 70篇参考文献[SW0933]
  • 含削减扩展证明,解决统一高阶逻辑中的问题…
  • 清洁

  • 57篇参考文献[SW01346]
  • 动态类型检查也是动态类型统一动态链接,及时编译,编码…
  • GHC

  • 42篇参考文献[SW23 765 ]
  • 数据流限制统一另一种是选择的引入…
  • 火龙

  • 41篇参考文献[SW14923 ]
  • 得到解决方案。火龙使用统一的形式语言(UFL)从芬尼克斯项目,而…
  • 兰科普

  • 21篇参考文献[SW0976]
  • 添加前缀和前缀统一算法。我们提出的实现和评估的细节…
  • QMT

  • 18篇参考文献[SW07137]
  • 整合各种搜索范例,如统一语义Web或XQuery样式查询…
  • CFTS4D

  • 18篇参考文献[SW2822]
  • 自举计算。它是基于统一两个独立的方法,协变(嵌入)…
  • 比利克姆

  • 15篇参考文献[SW21346]
  • 表示术语,使用操作统一匹配。这些测试的主要结果…
  • DLV-EX

  • 14篇参考文献[SW0462]
  • 用外部知识来源,或设置统一. 本文介绍了一个嵌入值的框架。
  • 情商

  • 12篇参考文献[SW15620]
  • 优势是关联交换的良好实现统一和匹配,各种策略…
  • CS Prolog

  • 7篇参考文献[SW0171]
  • Prolog:一个推广的统一基于约束求解器约束逻辑程序设计(CLP)是一种很有前途的扩展方法。提出了Prolog)。一种新的统一克服标准PROlog中的一些不足。介绍和推广Dincbas统一在此基础上进行了介绍。扩展
  • Jun-2

  • 11篇参考文献[SW07216]
  • 这仅仅是一个实现统一关闭)具有复杂的数值求解器…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 过度的术语和公式,有效的匹配和统一算法等),同时克服一些…
  • 因瓦

  • 10篇参考文献[SW10103]
  • 逆变换,使不统一在很多情况下都需要运行时…
  • CRC 3

  • 9篇参考文献[SW09782]
  • 无交换性的无穷的结合性统一算法存在。在本文中,我们提出…
  • 以X为中心的

  • 6篇参考文献[SW0989]
  • XCixon的显著特征是强大的统一具有任意函子的项的算法XML语言。这种新形式统一一起适当的使用类型…