Equational unification; Finite variant property; Forward closure; Term rewriting; Undecidability.;
机译:纤维/基体界面裂纹问题的有限元解决方案:虚拟裂纹闭合技术的收敛特性和模式混合
机译:跳跃的有限自动机及其关闭特性
机译:确定性输入驱动的队列自动机:有限的转弯,可判定性和闭合属性
机译:前向封闭与有限变性质
机译:塑性引起的裂纹闭合的有限元建模和基于力学的裂纹闭合测量技术研究。
机译:微观有限元模型的形状对通过微观有限元分析计算出的力学性能的影响
机译:关于正向封闭和有限变性质⋆
机译:任意圆柱壳弯曲分析的改进有限差分变型