TY - JOUR AU - Moldestad, J. AU - Stoltenberg-Hansen, V. TI - Finite alogorithmic procedures and computation theories. JO - Mathematica Scandinavica PY - 1980 VL - 46 SP - 77 EP - 94 KW - recursion-theoretic properties of computable functions; computation theories; register machines; relational system; finite algorithmic procedures; partial recursive functions UR - http://eudml.org/doc/166691 ER -