On Simple Gödel Numberings and Translations.

Juris Hartmanis Theodore P. Baker

Published in: SIAM J. Comput. (1975)

Keyphrases

databases
machine learning
artificial intelligence
multiscale
special case
social media
upper bound
social bookmarking