On Simple Gödel Numberings and Translations

@article{Hartmanis1975OnSG,
  title={On Simple G{\"o}del Numberings and Translations},
  author={Juris Hartmanis and Theodore P. Baker},
  journal={SIAM J. Comput.},
  year={1975},
  volume={4},
  pages={1-11}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…