• 卡帕拉布

  • 41篇参考文献[SW06086]
  • 著名的莫比乌斯转型以及其他相等的集合函数的表示也可以…
  • 格尔达

  • 33篇参考文献[SWO3331 ]
  • 局部不变量变换系统(1)进入相等的无奇的大帝与…
  • CFSF

  • 7篇参考文献[SW13927 ]
  • 连分数尾等值 变换和收缩,以及更多。包装,开发…
  • Na24

  • 14篇参考文献[SW11485 ]
  • Muleo包络作为若干维变换然后减少蛮力二次差…使用任一时间等值用快速勒让德变换算法,计算…
  • 犯罪事实

  • 6篇参考文献[SW14840]
  • 权利的期望程度等值那个变换给定的展开成它的正常形式…
  • TAC++

  • 3篇参考文献[ SW01438 ]
  • 描述软件工具的发展变换C++(TAC++)中的自动算法从已建立的FORTRAN算法相等的变换FORTRAN(TAF)中的算法。TAC++的特点…
  • 翻转

  • 7篇参考文献[SW099]
  • 第一反问题转化它变成了相等的(超定)最小二乘问题…
  • FASMMD

  • 3篇参考文献[ SW31729 ]
  • FASTMMD的核心思想是等价地 转型移动不变内核的MMD到…
  • 王牌

  • 8篇参考文献[SW22675 ]
  • 功能程序。这个函数是转化它的非递归相等的根据MacCarthy的递归…复杂性不是可判定的属性,这转型在任何情况下都是不可能的…
  • 平方码

  • 38篇参考文献[SW03056]
  • 一阶计算的SqEMA算法当量并证明模态公式的正则性,从而…典型完备性结果。SqEMA是基于转型规则,其中最重要的是…
  • 科瓦茨

  • 7篇参考文献[SW21472]
  • 证明程序等值及其在自动验证中的应用变换通过优化编译器执行…
  • 帆!

  • 2篇参考文献[SW0631]
  • 学生学习的电子学习应用程序转型集合代数中的术语有好几个…证明一个正确的等值. 在每一步中,首先选择一条规则…学习者不是被迫的转型这个等值“从左到右…甚至可能做变换在平行的两个方向上,可以看出…
  • 进化论

  • 4篇参考文献[ SW02677 ]
  • 我们描述的演化转化它变成了相等的正常逻辑程序…实施。然后,我们证明了所提出的转型是健全完整的审查…
  • 德特斯托

  • 5篇参考文献[SW05102]
  • 建模工具DET2STO是一种工具变换一个随机版本的模型写…将确定性转化为确定性相等的以完全自动化的方式。它输出一个模型文件…转型一个新的数学规划问题的结果相等的,哪个…
  • 总挥发性有机物

  • 19篇参考文献[SW02521]
  • 给定源程序,TVOC证明了等值关于源代码和目标代码…验证过程:第一阶段验证循环变换使用证明规则置换;第二…
  • 证书证书

  • 6篇参考文献[SW0943]
  • 语言工具(观测)等值关系HORAR逻辑,语义保持程序变换协助建造…
  • XYZ/SE

  • 2篇参考文献[ SW03027 ]
  • 每个XYZ/BE程序都可以转化变成一个相等的XYZ/SE程序。所以我们开发了…
  • 比克斯

  • 9篇参考文献[SW12667 ]
  • 程序定义文档之间的关系。变换另一份文件…相等的表达式(3)允许非线性模式变量来表达非平凡的变换那个…
  • 沃尔夫拉姆

  • 15篇参考文献[ SW02075 ]
  • 应用自动生成的框架变换给出了SystemC的PLC软件。集成流…应用于PLC程序的验证。等值应用检查和财产检查…
  • 环2递归

  • 1篇参考文献[SW16864 ]
  • 迭代循环相等的递归方法。这个转型实现所需的更改转型