Characterizations of ITBM-computability. II

DOI10.1007/S10469-021-09625-ZOpenAlexW4254015225MaRDI QIDQ2041591

Peter Koepke, Andrey S. Morozov

Publication date: 23 July 2021

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-021-09625-z

zbMATH Keywords

infinitary formulasSmale machines

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Unnamed Item
• Characterizations of ITBM-computability. I
• The computational power of infinite time Blum-Shub-Smale machines

This page was built for publication: Characterizations of ITBM-computability. II