A direct method for simulating partial recursive functions by Diophantine equations
Under an Elsevier user license
open archive
Cited by (0)
- ∗
The paper was written during author's stay at Laboratoire de Recherche en Informatique de Université Paris-XI in the framework of a program of collaboration between the Steklov Institute of Mathematics and the Universities Paris-VI, Paris-VII and Paris-XI, sponsored by CNRS.
Copyright © 1994 Published by Elsevier B.V.