A direct method for simulating partial recursive functions by Diophantine equations
exponential Diophantine representation of recursively enumerable predicates
scientific article; zbMATH DE number 584687
scientific article