机译:关于代数和可定义封闭的可计算方面
Harvard Univ Cambridge MA 02138 USA;
MIT 77 Massachusetts Ave Cambridge MA 02139 USA;
African Inst Math Sci Mbour Thies Senegal;
Algebraic closure; definable closure; computable model theory;
机译:具有一个定义关系的自由缔合代数和李p代数的同系性
机译:计算真正的代数平面曲线的拓扑,其定义方程式仅可“按值”使用
机译:绑定贝蒂数并计算由多项式的部分二次系统定义的半代数集的欧拉-庞加莱特征
机译:代数和可定义闭包的可计算性
机译:二次多项式定义的半代数集的算法和拓扑方面
机译:可数度的代数方面。
机译:关于代数和可定义封闭的可计算方面
机译:计算网络可靠性的代数方面