A class of Recursive Permutations which is Primitive Recursive complete

Paolini, L; Piccolo, M; Roversi, L

Paolini, L; Roversi, L (corresponding author), Dipartimento Informat, Cso Svizzera 185, I-10149 Turin, TO, Italy.

THEORETICAL COMPUTER SCIENCE, 2020; 813 (): 218

Abstract

We focus on total functions in the theory of reversible computational models. We define a class of recursive permutations, dubbed Reversible Primitive......

Full Text Link