机译:集合共享,自由度和线性度的正确,精确和高效的集成,用于有限和有理树语言的分析
School of Computing, University of Leeds, Leeds, UK;
abstract interpretation; logic programming; abstract unification; rational trees; set-sharing; freeness; linearity;
机译:基于PADE近似的精确集成方法,通过精密集成方法对空气弹性翼型的动态分析
机译:通过精确积分法对具有自由运动的翼型存储系统进行非线性气动弹性分析
机译:线性树语言和线性树语产品的广义叠加
机译:制定有限状态方法,适用于超出上下文的语言,通过多维树木
机译:有限生成的自由群在R树上的动作的自由度和离散度
机译:有限维可积非线性动力学系统中对称性与其他可积量词的相互作用
机译:集合共享,自由度和线性度的正确,精确和有效集成,用于分析有限和合理的树语言
机译:树语言的错误纠正语法分析。