Register machines with counters

DOI10.1134/S1064562417050222zbMath1423.68178MaRDI QIDQ679981

Igor V. Savitskiy

Publication date: 22 January 2018

Published in: Doklady Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D10: Turing machines and related notions