• 全息函数

  • 引用48篇文章[sw06666号]
  • 计算消灭理想并执行关闭 属性(加法、乘法、代换)。一场毁灭。。。
  • 奥瑞代数

  • 参考12篇文章[sw32569]
  • 行动;GCRD和LCLM;D-有限关闭 属性; 相关代数之间的自然变换;猜测;去极化。。。
  • 米希尔尼禄

  • 参考11篇文章[sw28547]
  • 他们把重点放在有限自动机上进行证明属性. 不幸的是,自动机并不是那么简单。。。正则表达式。从这个定理关闭 属性常规语言如下。。。
  • Mgfun公司

  • 引用8篇文章[sw06227]
  • 代数方法和享有众多的算法关闭 属性,包括算法关闭在积分和下。。。
  • J相

  • 引用5篇文章[sw08535]
  • 允许计算倍数关闭 属性可以在建模大型系统时使用。。。
  • 整数序列

  • 引用2篇文章[sw25549号文件]
  • 规则序列包括基本序列关闭 属性,猜测重现,计算自动机。最近的应用包括。。。
  • 德雷克斯

  • 引用2篇文章[sw16949]
  • 坚实的理论基础,包括多重特征,关闭 属性,以及可判定的分析问题,并承认。。。
  • UnQL公司

  • 引用9篇文章[sw20018]
  • 中介系统的方法。其他几个正式的属性建立了:结构递归可以表示为。。。一阶逻辑的传递性扩展关闭; 其数据复杂度为PTIME;而不是关系。。。
  • OpenNWA公司

  • 引用3篇文章[sw33220]
  • 上下文无关属性,如括号匹配,但保留所有需要的关闭特点。。。
  • VPAlib公司

  • 引用4篇文章[sw24344]
  • 显示出有许多可取之处属性普通语言都有。VPL已关闭。。。VPAlib 0.1提供以下VPA操作:关闭包括联合,交叉和克莱恩星。。。然后使用VPA上的操作进行分析属性在那些协议中。。。
  • PANORMUS-SPH公司

  • 参考第1条[sw24818]
  • 引入具有适当流体力学特性的镜粒子属性. 层流和湍流。。。后者使用$k$-$varepsilon$湍流关闭)以及求解算法的相当大的灵活性。。。
  • 奥尔加.lib

  • 参考6篇文章[sw22197]
  • 只有当S满足(左)Ore时财产. 自从这个概念被引入。。。引入(左)饱和的概念关闭并证明这是一个经典。。。
  • Chyqom公司

  • 引用5篇文章[sw34770]
  • 相应的动力学方程。CQM公司关闭因为通量导致弱双曲方程组。。。节点)。利用属性二维相空间中的CHyQMOM。。。
  • 引用3篇文章[sw19039]
  • 糖库维护可组合性和作用域属性所以特别是。。。语言扩展,包括XML和关闭在Java中,所有这些都作为sugar库提供。。。
  • 围裙

  • 引用67篇文章[sw00045]
  • 围裙:一个数字抽象领域的图书馆。。。