• 全息函数

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

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

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

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

  • 引用3篇文章[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$湍流关闭)以及求解算法的相当大的灵活性。。。
  • 引用3篇文章[sw19039]
  • 糖库维护可组合性和作用域属性所以特别是。。。语言扩展,包括XML和关闭在Java中,所有这些都作为sugar库提供。。。
  • 奥尔加.lib

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