Post's Functional Completeness Theorem.

Francis Jeffry Pelletier Norman M. Martin

Published in: Notre Dame J. Formal Log. (1990)

Keyphrases

neural network
real world
data quality
von neumann
cooperative
real time
databases
computer vision
multi agent systems
gene expression