Simple Gödel Numberings, Isomorphisms, and Programming Properties.

Michael Machtey Karl Winklmann Paul Young

Published in: SIAM J. Comput. (1978)

Keyphrases

database
general purpose
programming language
structural properties
desirable properties
intuitively appealing
databases
web pages
bayesian networks
multi agent
search algorithm
web applications