...
机译:计算可测量:结构理论
Kazan (Volga Region) Federal University Kazan Russia;
Kazan (Volga Region) Federal University Kazan Russia;
computably enumerable set; Turing degree; Ershov’s hierarchy; definability; 03C57; 03D25; 03D28; 03D45; 03D55;
机译:图灵甲骨文机器,在线计算和可计算性理论中的三个位移
机译:带注释的图灵:通过Alan Turing关于可计算性和Turing机器的历史性论文的导览
机译:图灵可计算性综述:理论与应用
机译:Isabelle / HOL中的机械化图灵机和可计算性理论
机译:集合理论与计算性理论的关系:定位数字的情况下的定位数量依据
机译:使用结构方程模型计算多元效应量及其抽样协方差矩阵:理论示例和计算机模拟
机译:图灵Oracle机器,在线计算和可计算性理论中的三个位移
机译:计算科学。图灵和软件验证。