A Schönhage - International Colloquium on Automata, Languages …, 1979 - Springer
We study the power of deterministic successor RAM's with extra instructions like+,*,⋎ and
the associated classes of problems decidable in polynomial time. Our main results are NP …