Pattern operations; Initial decidability; Order-Sorted logic;
机译:初始顺序排序的代数中的方程式和模式运算
机译:初始订单分类代数中的公式公式和模式操作
机译:带有连续初始条件且考虑初始矩和几次时滞扰动的受控函数微分方程解的变量公式
机译:初始订单分类代数中的公式公式和模式操作
机译:微分代数方程初值问题数值解的计算复杂性。
机译:具有两个时滞的非线性微分代数方程组的向后微分公式分析
机译:顺序代数I:多重继承,重载,异常和部分运算的等式推导
机译:应用于Hessenberg形式DaEs(微分代数方程)的广义BDF(后向微分公式)方法。