机译:更短的证据表明回文式不是Church-Rosser语言,并且扩展了几乎融合和完善的Thue系统
机译:离散系统多目标控制的Nash均衡算法和计算以及网络动态c-games的多项式时间算法
机译:具有有限阶权数的多元线性问题的多项式时间算法:平均案例设置
机译:有限元半论系统的图表具有可判定的Monadic二阶理论
机译:用于求解有限域上方程的线性和多项式系统的算法,并应用于密码分析。
机译:词问题具有一定程度的有限表示组与任意给定的系统一样(BRITTON方法的应用)
机译:有限元教堂 - rosser thue系统的有限顺序的要素