Register machines with counters
From MaRDI portal
Publication:679981
DOI10.1134/S1064562417050222zbMath1423.68178MaRDI QIDQ679981
Publication date: 22 January 2018
Published in: Doklady Mathematics (Search for Journal in Brave)
03D20: Recursive functions and relations, subrecursive hierarchies
03D10: Turing machines and related notions