...
机译:线性浅项重写系统的正规形式唯一性的多项式算法
Term rewrite systems; Uniqueness of normal forms; Basic properties of rewrite systems; Linear; shallow rewrite systems;
机译:线性浅项重写系统的正规形式唯一性的多项式算法
机译:正常形式的唯一性的快速决策程序w.r.t.浅谈重写系统的转换
机译:浅术语重写系统的范式的唯一性
机译:带有唯一范式的自动证明术语重写系统的转换
机译:多项式和Ore多项式矩阵的正规形式算法。
机译:基于非线性算法测度的多项式非线性分析
机译:浅层重写系统正规形式的唯一性
机译:条件术语重写系统不相交联合的唯一正规形式