Computations on counter machines with summator

DOI10.3103/S0278641918010065zbMath1397.68077OpenAlexW2792376382WikidataQ130121265 ScholiaQ130121265MaRDI QIDQ1789205

Sergey S. Marchenkov, Igor V. Savitskiy

Publication date: 10 October 2018

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0278641918010065

zbMATH Keywords

computable functionscounter machines with summator

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Related Items (2)

Arithmetization of register machines with counters ⋮ Eliminating inequalities in register machines with counters

Cites Work

• Register machines with counters
• Bounded monotone recursion and multihead automata
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computations on counter machines with summator