Term rewriting Complexity analysis Implicit computational complexity Automation;
机译:多项式可计算函数的新的阶理论表征
机译:缩小运行时复杂性和多时可计算性之间的差距
机译:加权约束满足下的多时线性全局成本函数的一致性技术
机译:多项式可计算函数的新的阶理论表征
机译:使用X射线计算断层扫描疲劳负载下的3D编织玻璃纤维增强复合材料的损伤表征
机译:硝酸铵小球的X射线计算机断层摄影术的结构和形态定量3D表征
机译:多时可计算函数的一种新的阶次理论刻画
机译:贝塞尔函数子程序,用于计算第一类Jn / X /或J nplus 1/2 / X /的函数,第二类函数Yn / X /或Jn-1/2 / X /,球形贝塞尔函数In / X /或Yn / X /和修改过的函数在/ X /或Kn / X /