机译:配备可计算性结构的度量部分代数的可计算性和连续性
Computability theory; computable analysis; Banach-Mazur computable function; effective continuity; computability structure; universal algebra;
机译:配备可计算性结构的度量部分代数的可计算性和连续性
机译:公制代数,通用代数规范和动力学系统上的可计算总函数
机译:使用可计算性衡量代数结构和结构类别的复杂性
机译:可计算度量空间之间功能的有效性和有效连续性
机译:表征可计算结构:布尔代数和线性阶。
机译:蛋白质亚基去除对核糖体30S部分结构计算运动的影响
机译:公制代数,通用代数规范和动力学系统上的可计算总函数
机译:可计算和半可数数据结构的代数规范