algebraic models of computation; arithmetic branching programs;
机译:基于高效的基于属性的无限算术分支程序的签名
机译:算术分支计划给出的多项式的分解
机译:一次性遗忘算术分支程序总和的确定性身份测试
机译:无边界算术分支程序的基于属性的有效签名
机译:研究线性编程材料和分支编程材料在经济方面对于标准XI的有效性与某些变量的关系。
机译:评估基于计算机的培训计划以提高小学生的算术技能和空间数字表示
机译:基于高效的基于属性的无限算术分支程序的签名