当前位置:
X-MOL 学术
›
Algebra Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Characterizations of ITBM-Computability. II
Algebra and Logic ( IF 0.5 ) Pub Date : 2021-06-15 , DOI: 10.1007/s10469-021-09625-z P. Koepke , A. S. Morozov
中文翻译:
ITBM-可计算性的特征。二
更新日期:2021-06-15
Algebra and Logic ( IF 0.5 ) Pub Date : 2021-06-15 , DOI: 10.1007/s10469-021-09625-z P. Koepke , A. S. Morozov
We consider different characterizations of computability by means of infinite time Blum–Shub–Smale machines (ITBM) via specific functions on sets and computable infinitary formulas.
中文翻译:
ITBM-可计算性的特征。二
我们通过无限时间 Blum-Shub-Smale 机器 (ITBM) 通过集合上的特定函数和可计算的无限公式来考虑可计算性的不同特征。