机译:树自动机完成的方程式逼近
IRISA, Universite de Rennes 1, Campus Beaulieu, F-35042 Rennes Cedex, France;
IRISA/INRIA, Campus Beaulieu, F-35042 Rennes Cedex, France;
verification; term rewriting systems; reachability; tree automata; rewriting modulo equations;
机译:优化确定和完成有限树自动机
机译:树自动机完成的完整性
机译:树自动机完成的完整性
机译:用于可达性分析的自动机和基于方程的近似值(特邀演讲)
机译:非线性Hamilton -Jacobi方程的高阶数值逼近和使用Stokes问题的弹性问题逼近
机译:随机神经场方程的大数定律和Langevin逼近
机译:树自动机完成的方程式逼近
机译:学习和识别背景下元胞自动机的统计特性:第二部分,反演局部结构理论方程,找出具有特定属性的元胞自动机