Characterizations of ITBM-Computability. II Full article

Journal	Algebra and Logic ISSN: 0002-5232 , E-ISSN: 1573-8302
Output data	Year: 2021, Volume: 60, Number: 1, Pages: 26-37 Pages count : 12 DOI: 10.1007/s10469-021-09625-z
Tags	computability by means of Blum-Shub-Smale machines, infinitary formulas
Authors	Koepke P. 1 , Morozov A.S. 2
Affiliations	1 Rheinische Friedrich-Wilhelms-Universität Bonn 2 Sobolev Institute of Mathematics